Macro WDFVERIFY

[Si applica solo a KMDF]

La macro WDFVERIFY verifica un'espressione logica e, se l'espressione restituisce FALSE, si suddivide nel debugger del kernel.

Sintassi

VOID WDFVERIFY(
    exp
);

Parametri

exp
Espressione logica che WDFVERIFY testa.

Valore restituito

nessuno

Osservazioni

Il codice per la macro WDFVERIFY è incluso nel file binario del driver quando si compila il driver in una configurazione di versione o in una configurazione di debug.

Il codice WDFVERIFY si suddivide in un debugger del kernel solo se il valore VerifyOn è impostato nel Registro di sistema. Per altre informazioni sulle voci del Registro di sistema che è possibile usare per eseguire il debug del driver, vedere Voci del Registro di sistema per il debug di driver Framework-Based.

Per altre informazioni sul debug del driver, vedere Debug di un driver KMDF.

Esempio

Nell'esempio di codice seguente viene eseguito un'interruzione nel debugger se un tentativo di riutilizzo di un oggetto richiesta ha esito negativo.

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

Requisiti

Piattaforma di destinazione	Universale
Versione KMDF minima	1.0
Intestazione	Wdfassert.h (include Wdf.h)

Vedi anche

VERIFY_IS_IRQL_PASSIVE_LEVEL