Changeset 12077 in vbox

Timestamp:

Sep 4, 2008 8:13:53 AM (16 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

36014

Message:

Adjusted assertions.

File:

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

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

@@ -935 +935 @@
     }
     else
-        Assert(!pCpu->fFlushTLB);
+        Assert(!pCpu->fFlushTLB || pVM->hwaccm.s.svm.fAlwaysFlushTLB);
 
     pVM->hwaccm.s.svm.idLastCpu = pCpu->idCpu;
@@ -965 +965 @@
             pVM->hwaccm.s.svm.uCurrentASID = pCpu->uCurrentASID = 1;
 
+        Assert(!pVM->hwaccm.s.svm.fAlwaysFlushTLB || pVM->hwaccm.s.svm.fForceTLBFlush);
         pVMCB->ctrl.TLBCtrl.n.u1TLBFlush = pVM->hwaccm.s.svm.fForceTLBFlush;
     }