diff options
| author | Wei Mao <[email protected]> | 2017-03-14 14:41:04 -0700 |
|---|---|---|
| committer | Wei Mao <[email protected]> | 2017-03-14 14:41:04 -0700 |
| commit | 360ed51d5a49fb859ba1f6e1bc4be8ceca39c1bc (patch) | |
| tree | 0141b8454ac8a375d98641b4362960bced97628c /usb/kmdf_enumswitches/sys/driver.c | |
| parent | 8dc7279b896be7a1aa95decc2e759fb1f27a5271 (diff) | |
[usb] Fix Code Analysis Warnings
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"); |