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, é dividida no depurador de kernel.

Sintaxe

VOID WDFVERIFY(
    exp
);

Parâmetros

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

Retornar valor

Nenhum

Comentários

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

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

Requisitos

Plataforma de destino	Universal
Versão mínima do KMDF	1.0
parâmetro	Wdfassert.h (inclua Wdf.h)

Confira também

VERIFY_IS_IRQL_PASSIVE_LEVEL