Index: /trunk/src/VBox/VMM/VMMR0/HMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMR0.cpp	(revision 50788)
+++ /trunk/src/VBox/VMM/VMMR0/HMR0.cpp	(revision 50789)
@@ -1280,12 +1280,9 @@
     {
         PVMCPU pVCpu = &pVM->aCpus[i];
-
-        pVCpu->hm.s.idEnteredCpu        = NIL_RTCPUID;
-
-        /* Invalidate the last cpu we were running on. */
-        pVCpu->hm.s.idLastCpu           = NIL_RTCPUID;
-
-        /* We'll aways increment this the first time (host uses ASID 0) */
-        pVCpu->hm.s.uCurrentAsid        = 0;
+        pVCpu->hm.s.idEnteredCpu = NIL_RTCPUID;
+        pVCpu->hm.s.idLastCpu    = NIL_RTCPUID;
+
+        /* We'll aways increment this the first time (host uses ASID 0). */
+        AssertReturn(!pVCpu->hm.s.uCurrentAsid, VERR_HM_IPE_3);
     }