WdfVerifierKeBugCheck 関数 (wdfverifier.h)

[KMDF と UMDF に適用]

WdfVerifierKeBugCheck 関数はバグ チェックを作成します。

構文

void WdfVerifierKeBugCheck(
  [in] ULONG     BugCheckCode,
  [in] ULONG_PTR BugCheckParameter1,
  [in] ULONG_PTR BugCheckParameter2,
  [in] ULONG_PTR BugCheckParameter3,
  [in] ULONG_PTR BugCheckParameter4
);

パラメーター

[in] BugCheckCode

Bugcodes.h で定義されているバグ チェック コードの 1 つ。

[in] BugCheckParameter1

このパラメーターの詳細については、指定されたバグチェックコードの説明を参照してください。

[in] BugCheckParameter2

このパラメーターの詳細については、指定されたバグチェックコードの説明を参照してください。

[in] BugCheckParameter3

このパラメーターの詳細については、指定されたバグチェックコードの説明を参照してください。

[in] BugCheckParameter4

このパラメーターの詳細については、指定されたバグチェックコードの説明を参照してください。

戻り値

なし

解説

Kernel-Mode Driver Framework (KMDF) ドライバーが WdfVerifierKeBugCheck を呼び出すと、デバッガーが実行されていない限り、オペレーティング システムが停止し、ブルー スクリーンが表示されます。

User-Mode Driver Framework (UMDF) ドライバー (バージョン 2.0 以降) が WdfVerifierKeBugCheck を呼び出す場合、フレームワークはドライバーが提供するパラメーターを使用しません。 この場合、デバッガーが接続されている場合、フレームワークはデバッガーに分割されます。 デバッガーが接続されていない場合、フレームワークによって例外が生成され、既定の UMDF 例外ハンドラーによってミニダンプ ファイルが作成されます。 ドライバー ホスト プロセスでのハンドルされない例外の詳細については、「 UMDF レポート エラーの方法」を参照してください。

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

例

次のコード例では、MULTIPLE_IRP_COMPLETE_REQUESTSバグ チェック コードを使用するバグ チェックを作成します。

WdfVerifierKeBugCheck(
                      MULTIPLE_IRP_COMPLETE_REQUESTS,
                      (ULONG_PTR) irp,
                      (ULONG_PTR) srb,
                      0,
                      0
                      );

要件

要件	値
対象プラットフォーム	ユニバーサル
最小 KMDF バージョン	1.0
最小 UMDF バージョン	2.0
Header	wdfverifier.h (Wdf.h を含む)
Library	Wdf01000.sys (KMDF);WUDFx02000.dll (UMDF)
IRQL	任意のレベル
DDI コンプライアンス規則	DriverCreate(kmdf)

こちらもご覧ください

WdfVerifierDbgBreakPoint