VERIFY_IS_IRQL_PASSIVE_LEVEL マクロ

[KMDF にのみ適用]

ドライバーが IRQL = PASSIVE_LEVEL で実行されていない場合、VERIFY_IS_IRQL_PASSIVE_LEVEL マクロはカーネルデバッガーに分割されます。

構文

VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);

このマクロにはパラメーターがありません。

なし

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

次のいずれかに該当する場合、VERIFY_IS_IRQL_PASSIVE_LEVEL コードはカーネルデバッガーに分割されます。

DbgBreakOnError は、レジストリで 0 以外の値に設定されます。
VerifierOn が 0 以外の値に設定され、DbgBreakOnError が設定されていません。
ドライバー検証ツールが有効になっており、ドライバーはフレームワークバージョン 1.9 以降でビルドされており、VerifierOn も DbgBreakOnError も設定されていません。

ドライバーのデバッグに使用できるレジストリエントリの詳細については、「Framework-Based ドライバーをデバッグするためのレジストリエントリをする」を参照してください。

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

次のコード例は、ドライバーが IRQL = PASSIVE_LEVEL で実行されていない場合にカーネルデバッガーに分割します。

VERIFY_IS_IRQL_PASSIVE_LEVEL();

WDFVERIFYの