Index: /trunk/src/VBox/Devices/Storage/DevAHCI.cpp
===================================================================
--- /trunk/src/VBox/Devices/Storage/DevAHCI.cpp	(revision 56638)
+++ /trunk/src/VBox/Devices/Storage/DevAHCI.cpp	(revision 56639)
@@ -4653,4 +4653,11 @@
                      */
                     ahciR3PortCachedReqsFree(pAhciPort);
+
+                    /*
+                     * Also make sure that the current request has no memroy still allocated
+                     * because it might be allocated by the driver below us. We don't require
+                     * it here anyway.
+                     */
+                    ahciReqMemFree(pAhciPort, pAhciReq, true /* fForceFree */);
 
                     rc = VMR3ReqPriorityCallWait(PDMDevHlpGetVM(pDevIns), VMCPUID_ANY,
@@ -7597,4 +7604,7 @@
     Log(("%s:\n", __FUNCTION__));
 
+    /* Free all cached I/O tasks. */
+    ahciR3PortCachedReqsFree(pAhciPort);
+
     pAhciPort->cTotalSectors = 0;