_IRQL_limited_to_(PASSIVE_LEVEL) in function body

2 files changed, 2 insertions, 2 deletions

diff --git a/usb/kmdf_fx2/driver/driver.c b/usb/kmdf_fx2/driver/driver.c
index 18905851..2c73cab2 100644
--- a/usb/kmdf_fx2/driver/driver.c
+++ b/usb/kmdf_fx2/driver/driver.c
@@ -210,7 +210,7 @@ Return Value:
     //
     // EvtCleanupCallback for WDFDRIVER is always called at PASSIVE_LEVEL
     //
-    _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL);
+    _IRQL_limited_to_(PASSIVE_LEVEL);
 
     PAGED_CODE ();
 
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();