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, ¶ms);
WDFVERIFY(NT_SUCCESS(status));
Requisiti
Piattaforma di destinazione |
Universale |
Versione KMDF minima |
1.0 |
Intestazione |
Wdfassert.h (include Wdf.h) |