Index: /trunk/src/VBox/Devices/Graphics/DevVGA_VBVA.cpp
===================================================================
--- /trunk/src/VBox/Devices/Graphics/DevVGA_VBVA.cpp	(revision 61975)
+++ /trunk/src/VBox/Devices/Graphics/DevVGA_VBVA.cpp	(revision 61976)
@@ -2820,10 +2820,8 @@
 #endif
 
-    uint32_t HgFlags = HGSMIReset (pVGAState->pHGSMI);
-    if(HgFlags & HGSMIHOSTFLAGS_IRQ)
-    {
-        /* this means the IRQ is LEVEL_HIGH, need to reset it */
-        PDMDevHlpPCISetIrq(pVGAState->pDevInsR3, 0, PDM_IRQ_LEVEL_LOW);
-    }
+    HGSMIReset(pVGAState->pHGSMI);
+    /* Make sure the IRQ is reset. */
+    PDMDevHlpPCISetIrq(pVGAState->pDevInsR3, 0, PDM_IRQ_LEVEL_LOW);
+    pVGAState->fu32PendingGuestFlags = 0;
 
     if (pCtx)