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 em execução no IRQL = PASSIVE_LEVEL.

Sintaxe

VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);

Parâmetros

Essa macro não tem parâmetros.

Valor de retorno

Nenhum

Observações

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 valores 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á definido.

Para obter mais informações sobre as entradas do Registro que você pode usar para depurar o driver, consulte Entradas do Registro para Depuração Framework-Based Drivers.

Para obter mais informações sobre como depurar o driver, consulte Depurando um driver KMDF.

Exemplos

O exemplo de código a seguir divide o depurador de kernel se o driver não estiver sendo executado em IRQL = PASSIVE_LEVEL.

VERIFY_IS_IRQL_PASSIVE_LEVEL();

Requisitos

Consulte também

WDFVERIFY