次の方法で共有

VERIFY_IS_IRQL_PASSIVE_LEVEL マクロ

  • [アーティクル]

The VERIFY_IS_IRQL_PASSIVE_LEVEL macro breaks into the kernel debugger if the driver is not executing at IRQL = PASSIVE_LEVEL.

構文

VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);

パラメーター

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

戻り値

None

解説

The code for the VERIFY_IS_IRQL_PASSIVE_LEVEL macro is included in your driver's binary when you build your driver in a free build environment or a checked build environment. If your driver's binary includes VERIFY_IS_IRQL_PASSIVE_LEVEL code, the code will run when your driver runs with checked builds or free builds of the Microsoft Windows operating system.

The VERIFY_IS_IRQL_PASSIVE_LEVEL code breaks into a kernel debugger only if the DbgBreakOnError value is set in the registry. For more information about registry entries that you can use to debug your driver, see Registry Entries for Debugging Framework-Based Drivers.

For more information about debugging your driver, see Debugging a Framework-Based Driver.

例

The following code example breaks into the kernel debugger if the driver is not executing at IRQL = PASSIVE_LEVEL.

  VERIFY_IS_IRQL_PASSIVE_LEVEL();

要件

バージョン

 Available in version 1.0 and later versions of KMDF.

ヘッダー

 Wdfassert.h (includeWdf.h)

参照

WDFVERIFY