Freigeben über


WDFVERIFY-Makro

[Gilt nur für KMDF]

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

Syntax

VOID WDFVERIFY(
    exp
);

Die Parameter

exp
Ein logischer Ausdruck, den WDFVERIFY testet.

Rückgabewert

Nichts

Bemerkungen

Der Code für das WDFVERIFY Makros 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 umgebrochen, wenn der VerifyOn Wert in der Registrierung festgelegt ist. Weitere Informationen zu Registrierungseinträgen, die Sie zum Debuggen des Treibers verwenden können, finden Sie unter Registrierungseinträge für das Debuggen Framework-Based Drivers.

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

Beispiele

Im folgenden Codebeispiel wird in den Debugger umgebrochen, wenn ein Versuch, ein Anforderungsobjekt wiederzuverwenden, fehlschlägt.

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

Anforderungen

Zielplattform

universelle

Minimale KMDF-Version

1.0

Kopfzeile

Wdfassert.h (include Wdf.h)

Siehe auch

VERIFY_IS_IRQL_PASSIVE_LEVEL