Compartir a través de

Regla IrqlReturn (wdm)

  • Artículo

La regla IrqlReturn especifica que las rutinas de envío del controlador devuelven en el mismo IRQL en el que se llamó. Para obtener más información sobre las IRQL en las que se llama correctamente a las rutinas de envío, consulte Rutinas de distribución e IRQL.

Modelo de controlador: WDM

Cómo probar

En tiempo de compilación

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

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, vea Usar comprobador de controladores estáticos para buscar defectos en controladores.

Consulte también

Rutinas de envío e IRQL