WDFVERIFY マクロ

[KMDF にのみ適用]

WDFVERIFY マクロは論理式をテストし、式が FALSE 評価された場合、カーネル デバッガーに分割されます。

構文

VOID WDFVERIFY(
    exp
);

パラメーター

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

戻り値

なし

注釈

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

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

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

例示

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

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

必要条件

こちらもご覧ください

VERIFY_IS_IRQL_PASSIVE_LEVEL