PAGED_CODE

Definido em: Wdm.h

A macro PAGED_CODE garante que o thread de chamada esteja em execução em um IRQL baixo o suficiente para permitir a paginação.

Valor de retorno

VOID

Se o IRQL > APC_LEVEL, a macro PAGED_CODE fará com que o sistema asserte.

Uma chamada para essa macro deve ser feita no início de cada rotina de driver que contém código paginável ou acessa código paginável.

A macro PAGED_CODE verifica o IRQL somente no ponto em que o código do driver executa a macro.

Se o código gerar posteriormente o IRQL, a macro não detectará essa alteração.

Os desenvolvedores de driver devem usar o Verificador de Driver Estático e o Verificador de Driver para detectar quando o IRQL é gerado incorretamente durante a execução de uma rotina de driver.

A macro PAGED_CODE funciona apenas em builds verificados.

Disponível a partir do Windows 2000.