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

Timestamp:

Oct 13, 2008 9:27:44 AM (16 years ago)

Author:

vboxsync

Message:

VMXR0InvalidatePage calls still occur in EPT mode.

File:

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

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

@@ -835 +835 @@
             int rc = VMXWriteVMCS(VMX_VMCS_GUEST_PDPTR0_FULL + i*2, Pdpe.u);
 #if HC_ARCH_BITS == 32
-            rc |=   VMXWriteVMCS(VMX_VMCS_GUEST_PDPTR0_FULL + i*2 + 1, Pdpe.u >> 32ULL);
+            rc    |= VMXWriteVMCS(VMX_VMCS_GUEST_PDPTR0_FULL + i*2 + 1, Pdpe.u >> 32ULL);
 #endif
             AssertRC(rc);
@@ -3057 +3057 @@
     bool fFlushPending = pVM->hwaccm.s.fForceTLBFlush;
 
-    /* @todo Only relevant if we want to use VPID. */
-    Assert(!pVM->hwaccm.s.fNestedPaging);
-
+    /* Only relevant if we want to use VPID. 
+     * In the nested paging case we still see such calls, but
+     * can safely ignore them. (e.g. after cr3 updates)
+     */
 #ifdef HWACCM_VTX_WITH_VPID
     /* Skip it if a TLB flush is already pending. */