[仅适用于 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) |