Changeset 49931 in vbox for trunk/src

Timestamp:

Dec 16, 2013 1:02:33 PM (11 years ago)

Author:

vboxsync

Message:

VMM/HMSVMR0: Assertions.

File:

• trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp (modified) (2 diffs)

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

@@ -850 +850 @@
      */
     bool fNewAsid = false;
+    Assert(pCpu->idCpu != NIL_RTCPUID);
     if (   pVCpu->hm.s.idLastCpu   != pCpu->idCpu
         || pVCpu->hm.s.cTlbFlushes != pCpu->cTlbFlushes)
@@ -963 +964 @@
     }
 
+    AssertMsg(pVCpu->hm.s.idLastCpu == pCpu->idCpu,
+              ("vcpu idLastCpu=%x pcpu idCpu=%x\n", pVCpu->hm.s.idLastCpu, pCpu->idCpu));
     AssertMsg(pVCpu->hm.s.cTlbFlushes == pCpu->cTlbFlushes,
               ("Flush count mismatch for cpu %d (%x vs %x)\n", pCpu->idCpu, pVCpu->hm.s.cTlbFlushes, pCpu->cTlbFlushes));