summaryrefslogtreecommitdiff
path: root/usb/UcmTcpciCxClientSample/Driver.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'usb/UcmTcpciCxClientSample/Driver.cpp')
-rw-r--r--usb/UcmTcpciCxClientSample/Driver.cpp5
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();