Index: /trunk/src/VBox/VMM/VMMR3/PGM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/PGM.cpp	(revision 65987)
+++ /trunk/src/VBox/VMM/VMMR3/PGM.cpp	(revision 65988)
@@ -3746,7 +3746,4 @@
     int rc = PGM_BTH_PFN(UnmapCR3, pVCpu)(pVCpu);
     AssertRC(rc);
-#ifdef REMEMBER_TO_ENABLE_THESE_GCPhycCR3_NIL_ASSIGNMENTS /** @todo Enable r113096 and fix. */
-    pVCpu->pgm.s.GCPhysCR3 = NIL_RTGCPHYS;
-#endif
 
     /* Exit the current shadow paging mode as well; nested paging and EPT use a root CR3 which will get flushed here. */