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/UcmTcpciCxClientSample/Driver.cpp | |
| parent | 30519540bcbd98dd13d2f9967d209d8dd01af91d (diff) | |
_IRQL_limited_to_(PASSIVE_LEVEL) in function body
Diffstat (limited to 'usb/UcmTcpciCxClientSample/Driver.cpp')
| -rw-r--r-- | usb/UcmTcpciCxClientSample/Driver.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usb/UcmTcpciCxClientSample/Driver.cpp b/usb/UcmTcpciCxClientSample/Driver.cpp index 14ec48ad..2120c709 100644 --- a/usb/UcmTcpciCxClientSample/Driver.cpp +++ b/usb/UcmTcpciCxClientSample/Driver.cpp @@ -153,7 +153,7 @@ Arguments: // // EvtCleanupCallback for WDFDRIVER is always called at PASSIVE_LEVEL // - _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL); + _IRQL_limited_to_(PASSIVE_LEVEL); TRACE_FUNC_ENTRY(TRACE_DRIVER); |