Regla IrqlExPassive (wdm)
La regla IrqlExPassive especifica que el controlador llama a las siguientes rutinas de soporte técnico ejecutivo solo en IRQL = PASSIVE_LEVEL:
La regla IrqlExPassive también especifica que el controlador llama a ExRaiseStatus en IRQL <= APC_LEVEL.
Modelo de controlador: WDM
Comprobaciones de errores encontradas con esta regla: Comprobación de errores 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020008), Comprobación de errores 0xA: IRQL_NOT_LESS_OR_EQUAL
Cómo probar
En tiempo de compilación |
---|
Ejecute el Comprobador de controladores estáticos y especifique la regla IrqlExPassive . Usa los pasos siguientes para ejecutar un análisis de tu código:
Para obtener más información, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores. |
En tiempo de ejecución |
---|
Ejecute el Comprobador de controladores y seleccione la opción comprobación de cumplimiento de DDI . |
Se aplica a
ExCreateCallbackExIsProcessorFeaturePresentExRaiseAccessViolationExRaiseDatatypeMisalignmentExRaiseStatusExUuidCreate
Consulte también
Administración de prioridades de hardwareque impiden errores y interbloqueos al usar bloqueos de número