Index: /trunk/src/VBox/VMM/PGM.cpp
===================================================================
--- /trunk/src/VBox/VMM/PGM.cpp	(revision 30813)
+++ /trunk/src/VBox/VMM/PGM.cpp	(revision 30814)
@@ -1217,5 +1217,5 @@
         pPGM->pGstAmd64Pml4R3  = NULL;
 #ifndef VBOX_WITH_2X_4GB_ADDR_SPACE
-        pPGM->pGst32BitPdR0    = NIL_RTR0PTR:
+        pPGM->pGst32BitPdR0    = NIL_RTR0PTR;
         pPGM->pGstPaePdptR0    = NIL_RTR0PTR;
         pPGM->pGstAmd64Pml4R0  = NIL_RTR0PTR;
Index: /trunk/src/VBox/VMM/PGMPhys.cpp
===================================================================
--- /trunk/src/VBox/VMM/PGMPhys.cpp	(revision 30813)
+++ /trunk/src/VBox/VMM/PGMPhys.cpp	(revision 30814)
@@ -3384,4 +3384,5 @@
 
             /* Flush dangling PGM pointers (R3 & R0 ptrs to GC physical addresses) */
+            /* todo: we should not flush chunks which include cr3 mappings. */
             for (VMCPUID idCpu = 0; idCpu < pVM->cCpus; idCpu++)
             {
@@ -3393,5 +3394,5 @@
                 pPGM->pGstAmd64Pml4R3  = NULL;
 #ifndef VBOX_WITH_2X_4GB_ADDR_SPACE
-                pPGM->pGst32BitPdR0    = NIL_RTR0PTR:
+                pPGM->pGst32BitPdR0    = NIL_RTR0PTR;
                 pPGM->pGstPaePdptR0    = NIL_RTR0PTR;
                 pPGM->pGstAmd64Pml4R0  = NIL_RTR0PTR;