macro VERIFY_IS_IRQL_PASSIVE_LEVEL
[Aplica-se somente ao KMDF]
A macro VERIFY_IS_IRQL_PASSIVE_LEVEL será dividida no depurador de kernel se o driver não estiver sendo executado em IRQL = PASSIVE_LEVEL.
Sintaxe
VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);
Parâmetros
Essa macro não tem parâmetros.
Valor retornado
Nenhum
Comentários
O código da macro VERIFY_IS_IRQL_PASSIVE_LEVEL é incluído no binário do driver quando você cria o driver em uma configuração de versão ou em uma configuração de depuração.
O código VERIFY_IS_IRQL_PASSIVE_LEVEL será dividido em um depurador de kernel se um dos seguintes itens for verdadeiro:
- DbgBreakOnError é definido como um valor diferente de zero no Registro.
- VerifierOn é definido como um valor diferente de zero e DbgBreakOnError não está definido.
- O Verificador de Driver está habilitado, o driver foi criado com a versão 1.9 ou posterior da estrutura e nem VerifierOn nem DbgBreakOnError estão definidos.
Para obter mais informações sobre entradas do Registro que você pode usar para depurar seu driver, consulte Entradas do Registro para Depuração Framework-Based Drivers.
Para obter mais informações sobre como depurar seu driver, consulte Depurando um driver KMDF.
Exemplos
O exemplo de código a seguir será dividido no depurador de kernel se o driver não estiver sendo executado em IRQL = PASSIVE_LEVEL.
VERIFY_IS_IRQL_PASSIVE_LEVEL();
Requisitos
Plataforma de destino |
Universal |
Versão mínima do KMDF |
1.0 |
parâmetro |
Wdfassert.h (inclua Wdf.h) |