Index: /trunk/src/VBox/VMM/VMMAll/HWACCMAll.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/HWACCMAll.cpp	(revision 19847)
+++ /trunk/src/VBox/VMM/VMMAll/HWACCMAll.cpp	(revision 19848)
@@ -106,5 +106,7 @@
             STAM_COUNTER_INC(&pVCpu->hwaccm.s.StatTlbShootdownFlush);
 #ifdef IN_RING0
-            RTMpPokeCpu(idCpu);
+            RTCPUID idHostCpu = pVCpu->hwaccm.s.idEnteredCpu;
+            if (idHostCpu != NIL_RTCPUID)
+                RTMpPokeCpu(idHostCpu);
 #else
             VMR3NotifyCpuFFU(pVCpu->pUVCpu, VMNOTIFYFF_FLAGS_POKE);