Index: /trunk/src/VBox/VMM/VMMAll/HWACCMAll.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/HWACCMAll.cpp	(revision 30326)
+++ /trunk/src/VBox/VMM/VMMAll/HWACCMAll.cpp	(revision 30327)
@@ -114,4 +114,6 @@
     uint32_t cWorldSwitchExit = pVCpu->hwaccm.s.cWorldSwitchExit;
 
+    Assert(idHostCpu == pVCpu->idHostCpu);
+
     STAM_PROFILE_ADV_START(&pVCpu->hwaccm.s.StatPoke, x);
     int rc = RTMpPokeCpu(idHostCpu);