diff options
| author | Wei Mao <[email protected]> | 2017-03-14 12:46:40 -0700 |
|---|---|---|
| committer | Wei Mao <[email protected]> | 2017-03-14 12:46:40 -0700 |
| commit | 8dc7279b896be7a1aa95decc2e759fb1f27a5271 (patch) | |
| tree | f57726a0a2d75a6ee0b2db96c4cad3c1fcfe3fb0 /usb/UcmTcpciCxClientSample/Driver.cpp | |
| parent | b8dd1155d31d4bfb9ccc66a250d80342a54b1b43 (diff) | |
[usb/ucmcx] Fix Code Analysis Warnings
Diffstat (limited to 'usb/UcmTcpciCxClientSample/Driver.cpp')
| -rw-r--r-- | usb/UcmTcpciCxClientSample/Driver.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/usb/UcmTcpciCxClientSample/Driver.cpp b/usb/UcmTcpciCxClientSample/Driver.cpp index d533951d..14ec48ad 100644 --- a/usb/UcmTcpciCxClientSample/Driver.cpp +++ b/usb/UcmTcpciCxClientSample/Driver.cpp @@ -150,6 +150,11 @@ Arguments: --*/ { + // + // EvtCleanupCallback for WDFDRIVER is always called at PASSIVE_LEVEL + // + _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL); + TRACE_FUNC_ENTRY(TRACE_DRIVER); PAGED_CODE(); |