Index: /trunk/src/VBox/VMM/VMMR0/PDMR0Device.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/PDMR0Device.cpp	(revision 80547)
+++ /trunk/src/VBox/VMM/VMMR0/PDMR0Device.cpp	(revision 80548)
@@ -1599,6 +1599,6 @@
     {
         size_t offCritSect = pReq->pCritSectR3 - pDevIns->pDevInsForR3R0->pvInstanceDataR3;
-        AssertLogRelMsgReturn(   offCritSect                     <  pDevIns->pReg->cbInstanceShared
-                              /*&& offCritSect + sizeof(PDMPCIDEV) <= pDevIns->pReg->cbInstanceShared*/,
+        AssertLogRelMsgReturn(   offCritSect                       <  pDevIns->pReg->cbInstanceShared
+                              && offCritSect + sizeof(PDMCRITSECT) <= pDevIns->pReg->cbInstanceShared,
                               ("offCritSect=%p pCritSectR3=%p cbInstanceShared=%#x (%s)\n",
                                offCritSect, pReq->pCritSectR3, pDevIns->pReg->cbInstanceShared, pDevIns->pReg->szName),