Macro WDFVERIFY

[Si applica solo a KMDF]

La macro WDFVERIFY verifica un'espressione logica e, se l'espressione restituisce FALSE, si interrompe 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 dei driver Framework-Based.

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

Esempi

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 minima di KMDF	1.0
Header	Wdfassert.h (include Wdf.h)

Vedere anche

VERIFY_IS_IRQL_PASSIVE_LEVEL