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/usbsamp/sys | |
| parent | 30519540bcbd98dd13d2f9967d209d8dd01af91d (diff) | |
_IRQL_limited_to_(PASSIVE_LEVEL) in function body
Diffstat (limited to 'usb/usbsamp/sys')
| -rw-r--r-- | usb/usbsamp/sys/device.c | 2 | ||||
| -rw-r--r-- | usb/usbsamp/sys/queue.c | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/usb/usbsamp/sys/device.c b/usb/usbsamp/sys/device.c index f6009ec3..fb6022b4 100644 --- a/usb/usbsamp/sys/device.c +++ b/usb/usbsamp/sys/device.c @@ -1515,7 +1515,7 @@ Return Value: // // EvtCleanupCallback for WDFDEVICE is always called at PASSIVE_LEVEL // - _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL); + _IRQL_limited_to_(PASSIVE_LEVEL); PAGED_CODE(); diff --git a/usb/usbsamp/sys/queue.c b/usb/usbsamp/sys/queue.c index c635adb6..83233fc1 100644 --- a/usb/usbsamp/sys/queue.c +++ b/usb/usbsamp/sys/queue.c @@ -165,7 +165,7 @@ Return Value: // If your driver is at the top of its driver stack, EvtIoDeviceControl is called // at IRQL = PASSIVE_LEVEL. // - _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL); + _IRQL_limited_to_(PASSIVE_LEVEL); PAGED_CODE(); @@ -267,7 +267,7 @@ Return Value: // If your driver is at the top of its driver stack, EvtIoRead is called // at IRQL = PASSIVE_LEVEL. // - _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL); + _IRQL_limited_to_(PASSIVE_LEVEL); PAGED_CODE(); @@ -341,7 +341,7 @@ Return Value: // If your driver is at the top of its driver stack, EvtIoWrite is called // at IRQL = PASSIVE_LEVEL. // - _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL); + _IRQL_limited_to_(PASSIVE_LEVEL); PAGED_CODE(); |