diff options
| author | Wei Mao <[email protected]> | 2017-03-16 13:26:33 -0700 |
|---|---|---|
| committer | Wei Mao <[email protected]> | 2017-03-16 13:26:33 -0700 |
| commit | 2a4ccbe1063d7ff4cd83e6c30b2815381e3e448c (patch) | |
| tree | d27c39da691eb25547f5b9869045e4cb81cc681e /usb/kmdf_enumswitches/sys/driver.c | |
| parent | 30519540bcbd98dd13d2f9967d209d8dd01af91d (diff) | |
_IRQL_limited_to_(PASSIVE_LEVEL) in function body
Diffstat (limited to 'usb/kmdf_enumswitches/sys/driver.c')
| -rw-r--r-- | usb/kmdf_enumswitches/sys/driver.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usb/kmdf_enumswitches/sys/driver.c b/usb/kmdf_enumswitches/sys/driver.c index 3acf3996..275803e6 100644 --- a/usb/kmdf_enumswitches/sys/driver.c +++ b/usb/kmdf_enumswitches/sys/driver.c @@ -179,7 +179,7 @@ Return Value: // // EvtCleanupCallback for WDFDRIVER is always called at PASSIVE_LEVEL // - _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL); + _IRQL_limited_to_(PASSIVE_LEVEL); PAGED_CODE (); |