Changeset 41834 in vbox for trunk/src/VBox/VMM/VMMR0

Timestamp:

Jun 19, 2012 3:27:49 PM (13 years ago)

Author:

vboxsync

Message:

VMM/HWVMXR0: Fix using stale VPIDs on resume.

File:

• trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp (modified) (3 diffs)

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

@@ -162 +162 @@
     else
         pCpu->fFlushASIDBeforeUse = true;
+
+    /*
+     * Ensure each VCPU scheduled on this CPU gets a new VPID on resume. See @bugref{6255}.
+     */
+    pCpu->cTLBFlushes++;
 
     return VINF_SUCCESS;
@@ -2448 +2453 @@
     else
     {
-        Assert(pVCpu->hwaccm.s.uCurrentASID && pCpu->uCurrentASID);
+        AssertMsg(pVCpu->hwaccm.s.uCurrentASID && pCpu->uCurrentASID, ("hwaccm uCurrentASID=%lu cpu uCurrentASID=%lu\n",
+                                                                       pVCpu->hwaccm.s.uCurrentASID, pCpu->uCurrentASID));
 
         /** @todo We never set VMCPU_FF_TLB_SHOOTDOWN anywhere so this path should
@@ -2525 +2531 @@
         pVCpu->hwaccm.s.fForceTLBFlush = true;
 
-    pVCpu->hwaccm.s.idLastCpu = pCpu->idCpu;
+    pVCpu->hwaccm.s.idLastCpu   = pCpu->idCpu;
+    pVCpu->hwaccm.s.cTLBFlushes = pCpu->cTLBFlushes;
 
     if (pVCpu->hwaccm.s.fForceTLBFlush)