Index: /trunk/src/VBox/Devices/PC/DevPIC.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevPIC.cpp	(revision 38848)
+++ /trunk/src/VBox/Devices/PC/DevPIC.cpp	(revision 38849)
@@ -983,4 +983,10 @@
         pThis->pPicHlpR0 = pThis->pPicHlpR3->pfnGetR0Helpers(pDevIns);
 
+    /*
+     * Since the PIC helper interface provides access to the PDM lock, 
+     * we need no device level critical section. 
+     */
+    rc = PDMDevHlpSetDeviceCritSect(pDevIns, PDMDevHlpCritSectGetNop(pDevIns));
+    AssertRCReturn(rc, rc);
 
     /*