Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 50695)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 50696)
@@ -1779,4 +1779,5 @@
 #endif
 
+    Assert(pCpu->idCpu != NIL_RTCPUID);
     pVCpu->hm.s.idLastCpu           = pCpu->idCpu;
     pVCpu->hm.s.cTlbFlushes         = pCpu->cTlbFlushes;
@@ -1815,4 +1816,5 @@
     AssertPtr(pCpu);
     AssertPtr(pVCpu);
+    Assert(pCpu->idCpu != NIL_RTCPUID);
     AssertMsg(pVM->hm.s.fNestedPaging && pVM->hm.s.vmx.fVpid,
               ("hmR0VmxFlushTaggedTlbBoth cannot be invoked unless NestedPaging & VPID are enabled."
@@ -1927,4 +1929,5 @@
     AssertPtr(pVCpu);
     AssertPtr(pCpu);
+    Assert(pCpu->idCpu != NIL_RTCPUID);
     AssertMsg(pVM->hm.s.fNestedPaging, ("hmR0VmxFlushTaggedTlbEpt cannot be invoked with NestedPaging disabled."));
     AssertMsg(!pVM->hm.s.vmx.fVpid, ("hmR0VmxFlushTaggedTlbEpt cannot be invoked with VPID enabled."));
@@ -1993,4 +1996,5 @@
     AssertPtr(pVCpu);
     AssertPtr(pCpu);
+    Assert(pCpu->idCpu != NIL_RTCPUID);
     AssertMsg(pVM->hm.s.vmx.fVpid, ("hmR0VmxFlushTlbVpid cannot be invoked with VPID disabled."));
     AssertMsg(!pVM->hm.s.fNestedPaging, ("hmR0VmxFlushTlbVpid cannot be invoked with NestedPaging enabled"));