Changeset 10297 in vbox for trunk

Timestamp:

Jul 7, 2008 7:54:28 AM (16 years ago)

Author:

vboxsync

Message:

More assertions.

Location:

trunk/src/VBox/VMM/VMMR0

Files:

• HWACCMR0.cpp (modified) (1 diff)
• HWSVMR0.cpp (modified) (2 diffs)

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

@@ -719 +719 @@
     int      rc;
     RTCPUID  idCpu = RTMpCpuId();
+
+    Assert(!VM_FF_ISPENDING(pVM, VM_FF_PGM_SYNC_CR3 | VM_FF_PGM_SYNC_CR3_NON_GLOBAL));
 
     rc = CPUMQueryGuestCtxPtr(pVM, &pCtx);

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

@@ -883 +883 @@
         pVM->hwaccm.s.svm.idLastCpu = pCpu->idCpu;
     }
+    else
+        Assert(pVM->hwaccm.s.svm.idLastCpu == pCpu->idCpu);
 
     /* Make sure we flush the TLB when required. Switch ASID to achieve the same thing, but without actually flushing the whole TLB (which is expensive). */
@@ -1544 +1546 @@
             STAM_COUNTER_INC(&pVM->hwaccm.s.StatFlushTLBCRxChange);
 
-            /** @note Force a TLB flush. SVM requires us to do it manually. */
-            pVM->hwaccm.s.svm.fForceTLBFlush = true;
+            /* Must be set by PGMSyncCR3 */
+            Assert(pVM->hwaccm.s.svm.fForceTLBFlush);
         }
         if (rc == VINF_SUCCESS)