Changeset 21568 in vbox for trunk/src/VBox/VMM

Timestamp:

Jul 14, 2009 10:12:14 AM (16 years ago)

Author:

vboxsync

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

50050

Message:

Cleaned up tlb flush signalling

File:

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

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

@@ -2779 +2779 @@
         /* If we get a flush in 64 bits guest mode, then force a full TLB flush. Invlpga takes only 32 bits addresses. */
         if (CPUMIsGuestInLongMode(pVCpu))
-            pVCpu->hwaccm.s.fForceTLBFlush = true;
+            VMCPU_FF_SET(pVCpu, VMCPU_FF_TLB_FLUSH);
         else
 #endif
@@ -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. */
-    pVCpu->hwaccm.s.fForceTLBFlush = true;
+    VMCPU_FF_ISSET(pVCpu, VMCPU_FF_TLB_FLUSH);
     STAM_COUNTER_INC(&pVCpu->hwaccm.s.StatFlushTLBInvlpga);
     return VINF_SUCCESS;