PAGED_CODE
Wdm.h で定義
PAGED_CODE は、呼び出し元のスレッドが、ページングを許可するのに十分な下位の IRQL で実行されていることを確認するマクロです。
戻り値
VOID
IRQL > APC_LEVEL の場合、PAGED_CODE マクロによってシステムで ASSERT が実行されます。
このマクロの呼び出しは、ページング可能なコードを含むか、ページング可能なコードにアクセスするすべてのドライバー ルーチンの先頭で行う必要があります。
PAGED_CODE マクロでは、ドライバー コードでこのマクロを実行した時点でのみ、IRQL がチェックされます。
それ以降にコードで IRQL を引き上げた場合、この変更はマクロで検出されません。
ドライバー開発者は、静的ドライバー検証ツールとドライバーの検証ツールを使用して、ドライバー ルーチンの実行中に IRQL が不適切に引き上げられたときにそれを検出する必要があります。
PAGED_CODE マクロは、チェック ビルドでのみ動作します。
Windows 2000 以降で使用できます。