Irql_IrqlSetting_Function rule (ndis)
The Irql_IrqlSetting_Function rule specifies that the NDIS interrupt macros must be called at correct IRQL levels.
This rule verifies the following NDIS macros:
How to test
|At compile time|
Run Static Driver Verifier and specify the Irql_IrqlSetting_Function rule.Use the following steps to run an analysis of your code:
For more information, see Using Static Driver Verifier to Find Defects in Drivers.