Index: /trunk/src/VBox/VMM/VMMR0/HWACCMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWACCMR0.cpp	(revision 23971)
+++ /trunk/src/VBox/VMM/VMMR0/HWACCMR0.cpp	(revision 23972)
@@ -1132,4 +1132,5 @@
         pVCpu->hwaccm.s.idLastCpu    = NIL_RTCPUID;
         pVCpu->hwaccm.s.uCurrentASID = 0;
+        VMCPU_FF_SET(pVCpu, VMCPU_FF_TLB_FLUSH);
     }