Macro WDFVERIFY

[Aplica-se apenas ao KMDF]

O WDFVERIFY macro testa uma expressão lógica e, se a expressão for avaliada como FALSE, invade o depurador do 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 para o 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 quebra em um depurador do 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 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 se uma tentativa de reutilizar um objeto de solicitação falhar.

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

Requerimentos

Plataforma de destino	Universal
Versão mínima do KMDF	1.0
Cabeçalho	Wdfassert.h (inclui Wdf.h)

Ver também

VERIFY_IS_IRQL_PASSIVE_LEVEL