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_fx2/driver/ioctl.c | |
| parent | 30519540bcbd98dd13d2f9967d209d8dd01af91d (diff) | |
_IRQL_limited_to_(PASSIVE_LEVEL) in function body
Diffstat (limited to 'usb/kmdf_fx2/driver/ioctl.c')
| -rw-r--r-- | usb/kmdf_fx2/driver/ioctl.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usb/kmdf_fx2/driver/ioctl.c b/usb/kmdf_fx2/driver/ioctl.c index 2cb4fcb1..e36bcef1 100644 --- a/usb/kmdf_fx2/driver/ioctl.c +++ b/usb/kmdf_fx2/driver/ioctl.c @@ -87,7 +87,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(); |