macro de VERIFY_IS_IRQL_PASSIVE_LEVEL
[Solo se aplica a KMDF]
La macro VERIFY_IS_IRQL_PASSIVE_LEVEL se divide en el depurador de kernel si el controlador no se está ejecutando en IRQL = PASSIVE_LEVEL.
Sintaxis
VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);
Parámetros
Esta macro no tiene parámetros.
Valor devuelto
None
Observaciones
El código de la macro de VERIFY_IS_IRQL_PASSIVE_LEVEL se incluye en el binario del controlador al compilar el controlador en una configuración de versión o en una configuración de depuración.
El código de VERIFY_IS_IRQL_PASSIVE_LEVEL se divide en un depurador de kernel si se cumple una de las siguientes condiciones:
- DbgBreakOnError se establece en un valor distinto de cero en el Registro.
- VerifierOn se establece en un valor distinto de cero y DbgBreakOnError no está establecido.
- El comprobador de controladores está habilitado, el controlador se creó con la versión 1.9 o posterior del marco y no se ha establecido VerifierOn ni DbgBreakOnError .
Para obtener más información sobre las entradas del Registro que puede usar para depurar el controlador, consulte Entradas del Registro para depurar controladores Framework-Based.
Para obtener más información sobre cómo depurar el controlador, consulte Depuración de un controlador KMDF.
Ejemplos
En el ejemplo de código siguiente se divide en el depurador de kernel si el controlador no se está ejecutando en IRQL = PASSIVE_LEVEL.
VERIFY_IS_IRQL_PASSIVE_LEVEL();
Requisitos
Plataforma de destino |
Universal |
Versión mínima de KMDF |
1.0 |
Encabezado |
Wdfassert.h (incluya Wdf.h) |