Regla IrqlKeWaitForMutexObject (wdm)
La regla IrqlKeWaitForMutexObject especifica el controlador para llamar a la rutina KeWaitForMutexObject en el IRQL adecuado en función del valor del parámetro Timeout :
Si Timeout apunta a un valor cero, el controlador se ejecuta en IRQL = DISPATCH_LEVEL.
Si Timeout es NULL o apunta a cualquier valor distinto de cero, el controlador se ejecuta en IRQL <= APC_LEVEL.
Modelo de controlador: WDM
Cómo probar
| En tiempo de compilación |
|---|
Ejecute el Comprobador de controladores estáticos y especifique la regla IrqlKeWaitForMutexObject . Usa los pasos siguientes para ejecutar un análisis de tu código:
Para obtener más información, vea Usar comprobador de controladores estáticos para buscar defectos en controladores. |