Index: /trunk/src/VBox/VMM/VMMR3/VMM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/VMM.cpp	(revision 55567)
+++ /trunk/src/VBox/VMM/VMMR3/VMM.cpp	(revision 55568)
@@ -1430,6 +1430,11 @@
 
     PGMR3ResetCpu(pVM, pVCpu);
+    PDMR3ResetCpu(pVCpu);   /* Clear any pending interrupts */
+    TRPMR3ResetCpu(pVCpu);
     CPUMR3ResetCpu(pVM, pVCpu);
-
+    EMR3ResetCpu(pVCpu);
+    HMR3ResetCpu(pVCpu);
+
+    /* This will trickle up on the target EMT. */
     return VINF_EM_WAIT_SIPI;
 }