Index: /trunk/src/VBox/Devices/USB/DevOHCI.cpp
===================================================================
--- /trunk/src/VBox/Devices/USB/DevOHCI.cpp	(revision 51989)
+++ /trunk/src/VBox/Devices/USB/DevOHCI.cpp	(revision 51990)
@@ -5582,5 +5582,6 @@
      */
     RTSemEventDestroy(pThis->hSemEventFrame);
-    RTCritSectDelete(&pThis->CritSect);
+    if (RTCritSectIsInitialized(&pEhci->CritSect))
+        RTCritSectDelete(&pThis->CritSect);
     PDMR3CritSectDelete(&pThis->CsIrq);