WDFVERIFY マクロ

[KMDF のみに適用]

WDFVERIFY マクロは、論理式をテストし、式がの結果が FALSE の場合にカーネルデバッガーに割り込みます。

構文

VOID WDFVERIFY(
    exp
);

exp
WDFVERIFY がテストする論理式。

なし

WDFVERIFY マクロのコードは、リリース構成またはデバッグ構成でドライバーをビルドするときに、ドライバーのバイナリに含まれます。

WDFVERIFY コードは、VerifyOn 値がレジストリに設定されている場合にのみカーネルデバッガーに分割されます。ドライバーのデバッグに使用できるレジストリエントリの詳細については、「フレームワークベースのドライバーをデバッグするためのレジストリエントリ」をご参照ください。

ドライバーのデバッグの詳細については、「KMDF ドライバーのデバッグ」をご参照ください。

次のコード例は、要求オブジェクトの再利用が失敗した場合にデバッガーに分割されます。

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