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 も設定されていません。

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

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

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

VERIFY_IS_IRQL_PASSIVE_LEVEL();