Changeset 8840
- Timestamp:
- 05/15/08 12:08:40 (2 months ago)
- Files:
-
- trunk/src/VBox/Runtime/r0drv/nt/mp-r0drv-nt.cpp (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/src/VBox/Runtime/r0drv/nt/mp-r0drv-nt.cpp
r8245 r8840 165 165 KDPC *paExecCpuDpcs; 166 166 167 #ifdef DEBUG_sandervl 168 /* KeFlushQueuedDpcs must be run at IRQL PASSIVE_LEVEL */ 167 #if 0 168 /* KeFlushQueuedDpcs must be run at IRQL PASSIVE_LEVEL according to MSDN, but the 169 * driver verifier doesn't complain... 170 */ 169 171 AssertMsg(KeGetCurrentIrql() == PASSIVE_LEVEL, ("%d != %d (PASSIVE_LEVEL)\n", KeGetCurrentIrql(), PASSIVE_LEVEL)); 170 172 #endif
