Changeset 7459 in vbox for trunk/src/VBox/Runtime/r0drv

Timestamp:

Mar 14, 2008 1:49:05 PM (17 years ago)

Author:

vboxsync

Message:

More comments

File:

• trunk/src/VBox/Runtime/r0drv/nt/mp-r0drv-nt.cpp (modified) (1 diff)

trunk/src/VBox/Runtime/r0drv/nt/mp-r0drv-nt.cpp

@@ -161 +161 @@
     KDPC     *paExecCpuDpcs;
 
-    Assert(KeGetCurrentIrql() == PASSIVE_LEVEL);
+    /* KeFlushQueuedDpcs must be run at IRQL PASSIVE_LEVEL */
+    AssertMsg(KeGetCurrentIrql() == PASSIVE_LEVEL, ("%d != %d (PASSIVE_LEVEL)\n", KeGetCurrentIrql(), PASSIVE_LEVEL));
 
     KAFFINITY Mask = KeQueryActiveProcessors();