Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 43360)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 43361)
@@ -2799,4 +2799,10 @@
 
     Log2(("\nE"));
+
+    /* This is not ideal, but if we don't clear the event injection in the VMCS right here,
+     * we may end up injecting some stale event into a VM, including injecting an event that 
+     * originated before a VM reset *after* the VM has been reset. See @bugref{6220}.
+     */
+    VMXWriteVMCS(VMX_VMCS_CTRL_ENTRY_IRQ_INFO, 0);
 
 #ifdef VBOX_STRICT