Определение уровня IRQL

Question

Как определить уровень IRQL кода кода драйвера. Макрос PAGED_CODE() указывает, что кусок кода может быть запущен на уровне IRQL меньше, чем DISPATCH_LEVEL. Но можно определить точный уровень 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, которая не разрешает пейджинг.