Macro WDFVERIFY

[Aplica-se somente ao KMDF]

A macro WDFVERIFY testa uma expressão lógica e, se a expressão for avaliada como FALSE, será dividida no depurador de kernel.

Sintaxe

VOID WDFVERIFY(
    exp
);

Parâmetros

exp
Uma expressão lógica que o WDFVERIFY testa.

Valor de retorno

Nenhum

Observações

O código da macro WDFVERIFY é 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 WDFVERIFY será dividido em um depurador de kernel somente se o valor VerifyOn for definido no registro. 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 é dividido no depurador se uma tentativa de reutilizar um objeto de solicitação falhar.

status = WdfRequestReuse(Request, &params);
WDFVERIFY(NT_SUCCESS(status));

Requisitos

Consulte também

VERIFY_IS_IRQL_PASSIVE_LEVEL