windows - 确定 IRQL 级别

Question

如何确定一段驱动程序代码的 IRQL 级别。 PAGED_CODE() 宏指定该段代码可以在低于 DISPATCH_LEVEL 的 IRQL 级别上运行。但是无法确定确切的 IRQL 级别。

Answer 1

KeGetCurrentIrql 函数返回当前 IRQL:

KIRQL KeGetCurrentIrql(void);

PAGED_CODE 宏通过以下方式使用此功能:

#define PAGED_CODE() \
    if (KeGetCurrentIrql() > APC_LEVEL) { \
        KdPrint(( "EX: Pageable code called at IRQL %d\n", KeGetCurrentIrql() )); \
        ASSERT(FALSE); \
    }

这个宏应该放在任何可分页的函数中，如果在不允许分页的 IRQL 上调用该函数，它会使驱动程序崩溃。