diff options
Diffstat (limited to 'usb/usbsamp/sys/queue.c')
| -rw-r--r-- | usb/usbsamp/sys/queue.c | 6 |
1 files changed, 3 insertions, 3 deletions
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(); |