Index: /trunk/src/VBox/VMM/VMMR3/PGM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/PGM.cpp	(revision 65910)
+++ /trunk/src/VBox/VMM/VMMR3/PGM.cpp	(revision 65911)
@@ -2549,7 +2549,5 @@
     int rc = PGM_GST_PFN(Exit, pVCpu)(pVCpu);
     AssertRC(rc);
-#ifdef REMEMBER_TO_ENABLE_THESE_GCPhycCR3_NIL_ASSIGNMENTS /** @todo Enable r113096 and fix. */
     pVCpu->pgm.s.GCPhysCR3 = NIL_RTGCPHYS;
-#endif
 
     rc = PGMR3ChangeMode(pVM, pVCpu, PGMMODE_REAL);
@@ -2606,7 +2604,5 @@
         int rc = PGM_GST_PFN(Exit, pVCpu)(pVCpu);
         AssertReleaseRC(rc);
-#ifdef REMEMBER_TO_ENABLE_THESE_GCPhycCR3_NIL_ASSIGNMENTS /** @todo Enable r113096 and fix. */
         pVCpu->pgm.s.GCPhysCR3 = NIL_RTGCPHYS;
-#endif
     }