VERIFY_IS_IRQL_PASSIVE_LEVEL macro

[Aplica-se apenas ao KMDF]

A macro VERIFY_IS_IRQL_PASSIVE_LEVEL quebra no depurador do kernel se o driver não estiver sendo executado em IRQL = PASSIVE_LEVEL.

Sintaxe

VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);

Parâmetros

Esta macro não tem parâmetros.

Valor de retorno

Nenhum

Observações

O código para a 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 uma configuração de depuração.

O código VERIFY_IS_IRQL_PASSIVE_LEVEL quebra em um depurador do kernel se uma das seguintes opções for verdadeira:

• DbgBreakOnError é definido como um valor diferente de zero no registro.
• VerifierOn é definido como um valor diferente de zero e DbgBreakOnError não está definido.
• Driver Verifier está habilitado, o driver foi construído com framework versão 1.9 ou posterior, e nem VerifierOn nem DbgBreakOnError está definido.

Para obter mais informações sobre entradas do Registro que você pode usar para depurar seu driver, consulte Registry Entries for Debugging 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 quebra no depurador do kernel se o driver não estiver sendo executado em IRQL = PASSIVE_LEVEL.

VERIFY_IS_IRQL_PASSIVE_LEVEL();

Requerimentos

Ver também

WDFVERIFY