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

Timestamp:

Oct 23, 2013 4:10:21 PM (11 years ago)

Author:

vboxsync

Message:

VMM/HMVMXR0: Introduced HMVMX_ALWAYS_FLUSH_TLB debug switch.

File:

• trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp (modified) (3 diffs)

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

@@ -43 +43 @@
 #define HMVMX_ALWAYS_TRAP_PF
 #define HMVMX_ALWAYS_SWAP_FPU_STATE
+#define HMVMX_ALWAYS_FLUSH_TLB
 #endif
 
@@ -1808 +1809 @@
 DECLINLINE(void) hmR0VmxFlushTaggedTlb(PVMCPU pVCpu, PHMGLOBALCPUINFO pCpu)
 {
+#ifdef HMVMX_ALWAYS_FLUSH_TLB
+    VMCPU_FF_SET(pVCpu, VMCPU_FF_TLB_FLUSH);
+#endif
     PVM pVM = pVCpu->CTX_SUFF(pVM);
     switch (pVM->hm.s.vmx.uFlushTaggedTlb)
@@ -1819 +1823 @@
             break;
     }
+    Assert(!VMCPU_FF_IS_PENDING(pVCpu, VMCPU_FF_TLB_FLUSH));
 }