Index: /trunk/src/VBox/VMM/PGMPhys.cpp
===================================================================
--- /trunk/src/VBox/VMM/PGMPhys.cpp	(revision 30816)
+++ /trunk/src/VBox/VMM/PGMPhys.cpp	(revision 30817)
@@ -3392,6 +3392,5 @@
             for (VMCPUID idCpu = 0; idCpu < pVM->cCpus; idCpu++)
             {
-                PVMCPU pVCpu = &pVM->aCpus[idCpu];
-                PPGMCPU pPGM = &pVCpu->pgm.s;
+                PPGMCPU pPGM = &pVM->aCpus[idCpu].pgm.s;
 
                 pPGM->pGst32BitPdR3    = NULL;
@@ -3412,5 +3411,5 @@
 
                 /* Flush REM TLBs. */
-                CPUMSetChangedFlags(pVCpu, CPUM_CHANGED_GLOBAL_TLB_FLUSH);
+                CPUMSetChangedFlags(&pVM->aCpus[idCpu], CPUM_CHANGED_GLOBAL_TLB_FLUSH);
             }