PAGED_CODE

Défini dans : Wdm.h

La macro PAGED_CODE garantit que le thread appelant s’exécute à un NIVEAU IRQL suffisamment bas pour permettre la pagination.

Valeur de retour

VOID

Si l’IRQL > APC_LEVEL, la macro PAGED_CODE entraîne l’assertion du système.

Un appel à cette macro doit être effectué au début de chaque routine de pilote qui contient du code paginable ou accède au code paginable.

La macro PAGED_CODE vérifie l’IRQL uniquement au moment où le code du pilote exécute la macro.

Si le code déclenche par la suite l’IRQL, la macro ne détecte pas cette modification.

Les développeurs de pilotes doivent utiliser Static Driver Verifier et Driver Verifier pour détecter quand l’IRQL est déclenché de manière incorrecte pendant l’exécution d’une routine de pilote.

La macro PAGED_CODE fonctionne uniquement dans les builds vérifiées.

Disponible à partir de Windows 2000.