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呼び出すと、デバッガーが実行されていない限り、オペレーティング システムが停止し、ブルー スクリーン が表示されます。 詳細については、「WinDbg の概要 - カーネル モード」を参照してください。

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
                      );

必要条件

関連項目

WdfVerifierDbgBreakPoint の