Changeset 50696 in vbox for trunk/src/VBox/VMM

Timestamp:

Mar 5, 2014 10:19:04 AM (11 years ago)

Author:

vboxsync

Message:

VMM/HMVMXR0: More assertions in TLB flushing.

File:

• trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp (modified) (4 diffs)

trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp

@@ -1779 +1779 @@
 #endif
 
+    Assert(pCpu->idCpu != NIL_RTCPUID);
     pVCpu->hm.s.idLastCpu           = pCpu->idCpu;
     pVCpu->hm.s.cTlbFlushes         = pCpu->cTlbFlushes;
@@ -1815 +1816 @@
     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 +1929 @@
     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 +1996 @@
     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"));