Compartir a través de


Flags_Irql regla (ndis)

La regla de Flags_Irql especifica que no se debe llamar a KeGetCurrentIrql dentro de las funciones de devolución de llamada que tienen un parámetro de marca de nivel de distribución que indica el IRQL actual.

El uso correcto de la marca de nivel de distribución puede ayudarle a evitar intentos innecesarios de establecer IRQL. Para obtener más información sobre cómo usar esta marca, vea Dispatch IRQL Tracking.

Modelo de controlador: NDIS

Cómo probar

En tiempo de compilación

Ejecute el Comprobador de controladores estáticos y especifique la regla de Flags_Irql .

Usa los pasos siguientes para ejecutar un análisis de tu código:
  1. Prepara el código (usa declaraciones de tipos de rol).
  2. Ejecuta el comprobador de controlador estático.
  3. Consulta y analiza los resultados.

Para obtener más información, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores.