Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 50737)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 50738)
@@ -37,4 +37,6 @@
 # include <VBox/vmm/rem.h>
 #endif
+/* Warning!!! Temporary setting of explicit TLB flush for test build. */
+# define HMVMX_ALWAYS_FLUSH_TLB
 #ifdef DEBUG_ramshankar
 # define HMVMX_SAVE_FULL_GUEST_STATE
@@ -44,5 +46,4 @@
 # define HMVMX_ALWAYS_TRAP_PF
 # define HMVMX_ALWAYS_SWAP_FPU_STATE
-# define HMVMX_ALWAYS_FLUSH_TLB
 #endif