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

Timestamp:

Jul 14, 2009 11:17:28 AM (16 years ago)

Author:

vboxsync

Message:

Flush updates

Location:

trunk/src/VBox/VMM/VMMR0

Files:

• HWSVMR0.cpp (modified) (1 diff)
• HWVMXR0.cpp (modified) (1 diff)

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

@@ -2801 +2801 @@
     Assert(pVM->hwaccm.s.fNestedPaging);
     /* invlpga only invalidates TLB entries for guest virtual addresses; we have no choice but to force a TLB flush here. */
-    VMCPU_FF_ISSET(pVCpu, VMCPU_FF_TLB_FLUSH);
+    VMCPU_FF_SET(pVCpu, VMCPU_FF_TLB_FLUSH);
     STAM_COUNTER_INC(&pVCpu->hwaccm.s.StatFlushTLBInvlpga);
     return VINF_SUCCESS;

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

@@ -3889 +3889 @@
         && !VMX_IS_64BIT_HOST_MODE())
     {
-        pVCpu->hwaccm.s.fForceTLBFlush = true;
+        VMCPU_FF_SET(pVCpu, VMCPU_FF_TLB_FLUSH);
     }
     else