Index: /trunk/src/VBox/Devices/PC/DevAPIC.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevAPIC.cpp	(revision 42573)
+++ /trunk/src/VBox/Devices/PC/DevAPIC.cpp	(revision 42574)
@@ -1067,7 +1067,4 @@
 {
     APICDeviceInfo *pDev = PDMINS_2_DATA(pDevIns, APICDeviceInfo *);
-#ifndef DEBUG_michael  /* See xTracker #6304. */
-    Assert(PDMCritSectIsOwner(pDev->CTX_SUFF(pCritSect)));
-#endif
 
     if (pDev->enmVersion < PDMAPICVERSION_X2APIC)