_IRQL_limited_to_(PASSIVE_LEVEL) in function body

9 files changed, 11 insertions, 11 deletions

diff --git a/usb/UcmCxUcsi/Ppm.cpp b/usb/UcmCxUcsi/Ppm.cpp
index cc866a21..522adf27 100644
--- a/usb/UcmCxUcsi/Ppm.cpp
+++ b/usb/UcmCxUcsi/Ppm.cpp
@@ -870,7 +870,7 @@ Ppm_EvtIoInternalDeviceControl (
 
     UNREFERENCED_PARAMETER(OutputBufferLength);
 
-    NT_ANALYSIS_ASSUME(KeGetCurrentIrql() == PASSIVE_LEVEL);
+    _IRQL_limited_to_(PASSIVE_LEVEL);
     PAGED_CODE();
 
     TRACE_FUNC_ENTRY(TRACE_FLAG_PPM);
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);
 
diff --git a/usb/kmdf_enumswitches/sys/driver.c b/usb/kmdf_enumswitches/sys/driver.c
index 3acf3996..275803e6 100644
--- a/usb/kmdf_enumswitches/sys/driver.c
+++ b/usb/kmdf_enumswitches/sys/driver.c
@@ -179,7 +179,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/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();
 
diff --git a/usb/umdf_filter_kmdf/kmdf_driver/driver.c b/usb/umdf_filter_kmdf/kmdf_driver/driver.c
index 18905851..2c73cab2 100644
--- a/usb/umdf_filter_kmdf/kmdf_driver/driver.c
+++ b/usb/umdf_filter_kmdf/kmdf_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/umdf_filter_kmdf/kmdf_driver/ioctl.c b/usb/umdf_filter_kmdf/kmdf_driver/ioctl.c
index 2cb4fcb1..e36bcef1 100644
--- a/usb/umdf_filter_kmdf/kmdf_driver/ioctl.c
+++ b/usb/umdf_filter_kmdf/kmdf_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();
 
diff --git a/usb/usbsamp/sys/device.c b/usb/usbsamp/sys/device.c
index f6009ec3..fb6022b4 100644
--- a/usb/usbsamp/sys/device.c
+++ b/usb/usbsamp/sys/device.c
@@ -1515,7 +1515,7 @@ Return Value:
     //
     // EvtCleanupCallback for WDFDEVICE is always called at PASSIVE_LEVEL
     //
-    _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL);
+    _IRQL_limited_to_(PASSIVE_LEVEL);
 
     PAGED_CODE();
 
diff --git a/usb/usbsamp/sys/queue.c b/usb/usbsamp/sys/queue.c
index c635adb6..83233fc1 100644
--- a/usb/usbsamp/sys/queue.c
+++ b/usb/usbsamp/sys/queue.c
@@ -165,7 +165,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();
 
@@ -267,7 +267,7 @@ Return Value:
     // If your driver is at the top of its driver stack, EvtIoRead is called
     // at IRQL = PASSIVE_LEVEL.
     //
-    _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL);
+    _IRQL_limited_to_(PASSIVE_LEVEL);
 
     PAGED_CODE();
 
@@ -341,7 +341,7 @@ Return Value:
     // If your driver is at the top of its driver stack, EvtIoWrite is called
     // at IRQL = PASSIVE_LEVEL.
     //
-    _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL);
+    _IRQL_limited_to_(PASSIVE_LEVEL);
 
     PAGED_CODE();