Changeset 8840 in vbox for trunk/src/VBox/Runtime/r0drv/nt

Timestamp:

May 15, 2008 10:08:40 AM (17 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

30852

Message:

Disabled assertion

File:

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

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

@@ -165 +165 @@
     KDPC     *paExecCpuDpcs;
 
-#ifdef DEBUG_sandervl
-    /* KeFlushQueuedDpcs must be run at IRQL PASSIVE_LEVEL */
+#if 0
+    /* KeFlushQueuedDpcs must be run at IRQL PASSIVE_LEVEL according to MSDN, but the
+     * driver verifier doesn't complain... 
+     */
     AssertMsg(KeGetCurrentIrql() == PASSIVE_LEVEL, ("%d != %d (PASSIVE_LEVEL)\n", KeGetCurrentIrql(), PASSIVE_LEVEL));
 #endif