Changeset 10297

Timestamp:

07/07/08 09:54:28 (5 months ago)

Author:

vboxsync

Message:

More assertions.

Files:

• trunk/src/VBox/VMM/VMMR0/HWACCMR0.cpp (modified) (1 diff)
• trunk/src/VBox/VMM/VMMR0/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)