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 在注册表中设置为非零值。
  • VerifierOn 设置为非零值,未设置 DbgBreakOnError
  • 驱动程序验证程序已启用,驱动程序是使用框架版本 1.9 或更高版本生成的,并且未设置 VerifierOnDbgBreakOnError

有关可用于调试驱动程序的注册表项的详细信息,请参阅 用于调试 Framework-Based 驱动程序的注册表项

有关调试驱动程序的详细信息,请参阅 调试 KMDF 驱动程序

示例

如果驱动程序未在 IRQL = PASSIVE_LEVEL 执行,则以下代码示例将中断到内核调试器中。

VERIFY_IS_IRQL_PASSIVE_LEVEL();

要求

目标平台

通用

最低 KMDF 版本

1.0

标头

Wdfassert.h (包括 Wdf.h)

另请参阅

WDFVERIFY