Index: /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp	(revision 27369)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp	(revision 27370)
@@ -1879,4 +1879,5 @@
             ||  (pVCpu->pgm.s.fSyncFlags & PGM_SYNC_CLEAR_PGM_POOL))
         {
+            Log(("PGMSyncCR3: pending pgm pool sync after MapCR3!\n"));
 #ifdef IN_RING3
             rc = pgmPoolSyncCR3(pVCpu);