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 或更高版本生成的,并且未设置 VerifierOn 和 DbgBreakOnError 。
有关可用于调试驱动程序的注册表项的详细信息,请参阅 用于调试 Framework-Based 驱动程序的注册表项。
有关调试驱动程序的详细信息,请参阅 调试 KMDF 驱动程序。
示例
如果驱动程序未在 IRQL = PASSIVE_LEVEL 执行,则以下代码示例将中断到内核调试器中。
VERIFY_IS_IRQL_PASSIVE_LEVEL();
要求
目标平台 |
通用 |
最低 KMDF 版本 |
1.0 |
标头 |
Wdfassert.h (包括 Wdf.h) |