diff options
Diffstat (limited to 'usb/kmdf_enumswitches/sys/driver.c')
| -rw-r--r-- | usb/kmdf_enumswitches/sys/driver.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/usb/kmdf_enumswitches/sys/driver.c b/usb/kmdf_enumswitches/sys/driver.c index aefc6c2b..3acf3996 100644 --- a/usb/kmdf_enumswitches/sys/driver.c +++ b/usb/kmdf_enumswitches/sys/driver.c @@ -176,6 +176,11 @@ Return Value: --*/ { + // + // EvtCleanupCallback for WDFDRIVER is always called at PASSIVE_LEVEL + // + _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL); + PAGED_CODE (); TraceEvents(TRACE_LEVEL_INFORMATION, DBG_INIT,"<-- OsrFxEvtDriverContextCleanup\n"); |