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 宏的代码包含在驱动程序的二进制文件中。

如果以下任一项为 true,则 VERIFY_IS_IRQL_PASSIVE_LEVEL 代码闯入内核调试器:

  • DbgBreakOnError 设置为注册表中的非零值。
  • VerifierOn 设置为非零值,并且未设置 dbgBreakOnError
  • 驱动程序验证程序已启用,驱动程序是使用框架版本 1.9 或更高版本生成的,并且未设置 VerifierOn 也不 DbgBreakOnError

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

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

例子

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

VERIFY_IS_IRQL_PASSIVE_LEVEL();

要求

目标平台

通用

最低 KMDF 版本

1.0

标题

Wdfassert.h (包括 Wdf.h)

另请参阅

WDFVERIFY