Freigeben über


WDFVERIFY-Makro

[Gilt nur für KMDF]

Das WDFVERIFY-Makro testet einen logischen Ausdruck und unterbricht, wenn der Ausdruck zu FALSE ausgewertet wird, in den Kerneldebugger.

Syntax

VOID WDFVERIFY(
    exp
);

Parameter

exp
Ein logischer Ausdruck, den WDFVERIFY testet.

Rückgabewert

Keine

Bemerkungen

Der Code für das WDFVERIFY-Makro ist in der Binärdatei Ihres Treibers enthalten, wenn Sie Ihren Treiber in einer Releasekonfiguration oder einer Debugkonfiguration erstellen.

Der WDFVERIFY-Code wird nur dann in einen Kerneldebugger unterteilt, wenn der VerifyOn-Wert in der Registrierung festgelegt ist. Weitere Informationen zu Registrierungseinträgen, die Sie zum Debuggen Ihres Treibers verwenden können, finden Sie unter Registrierungseinträge für das Debuggen Framework-Based Treiber.

Weitere Informationen zum Debuggen Ihres Treibers finden Sie unter Debuggen eines KMDF-Treibers.

Beispiele

Im folgenden Codebeispiel wird in den Debugger eingebrochen, wenn beim Versuch, ein Anforderungsobjekt wiederzuverwenden, ein Fehler auftritt.

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

Anforderungen

Zielplattform

Universell

KMDF-Mindestversion

1.0

Header

Wdfassert.h (include Wdf.h)

Weitere Informationen

VERIFY_IS_IRQL_PASSIVE_LEVEL