Index: /trunk/src/VBox/Devices/Storage/DevAHCI.cpp
===================================================================
--- /trunk/src/VBox/Devices/Storage/DevAHCI.cpp	(revision 46510)
+++ /trunk/src/VBox/Devices/Storage/DevAHCI.cpp	(revision 46511)
@@ -2053,5 +2053,4 @@
                             AHCI_HBA_CAP_NP_SET(pThis->cPortsImpl); /* Number of supported ports */
     pThis->regHbaCtrl     = AHCI_HBA_CTRL_AE;
-    pThis->regHbaIs       = 0;
     pThis->regHbaPi       = ahciGetPortsImplemented(pThis->cPortsImpl);
     pThis->regHbaVs       = AHCI_HBA_VS_MJR | AHCI_HBA_VS_MNR;
@@ -2061,4 +2060,9 @@
     pThis->uCccPortNr     = 0;
     pThis->uCccNr         = 0;
+
+    /* Clear pending interrupts. */
+    pThis->regHbaIs            = 0;
+    pThis->u32PortsInterrupted = 0;
+    ahciHbaClearInterrupt(pThis);
 
     pThis->f64BitAddr = false;