PAGED_CODE
Определяется в: Wdm.h
Макрос PAGED_CODE гарантирует, что вызывающий поток выполняется в среде IRQL, достаточно низкой для разбиения по страницам.
Возвращаемое значение
VOID
Если APC_LEVEL IRQL > , макрос PAGED_CODE вызывает в системе оператор ASSERT.
Вызов этого макроса должен выполняться в начале каждой подпрограммы драйвера, которая либо содержит страничные коды, либо обращается к коду с доступом к странице.
Макрос PAGED_CODE проверяет IRQL только в том месте, в котором код драйвера выполняет макрос.
Если код впоследствии вызывает IRQL, макрос не обнаружит это изменение.
Разработчикам драйверов следует использовать средство проверки статических драйверов и средство проверки драйверов для обнаружения неправильного вызова IRQL во время выполнения процедуры драйвера.
Макрос PAGED_CODE работает только в проверенных сборках.
Доступно начиная с Windows 2000.