PAGED_CODE

Wdm.h で定義

PAGED_CODE は、呼び出し元のスレッドが、ページングを許可するのに十分な下位の IRQL で実行されていることを確認するマクロです。

戻り値

VOID

IRQL > APC_LEVEL の場合、PAGED_CODE マクロによってシステムで ASSERT が実行されます。

このマクロの呼び出しは、ページング可能なコードを含むか、ページング可能なコードにアクセスするすべてのドライバー ルーチンの先頭で行う必要があります。

PAGED_CODE マクロでは、ドライバー コードでこのマクロを実行した時点でのみ、IRQL がチェックされます。

それ以降にコードで IRQL を引き上げた場合、この変更はマクロで検出されません。

ドライバー開発者は、静的ドライバー検証ツールとドライバーの検証ツールを使用して、ドライバー ルーチンの実行中に IRQL が不適切に引き上げられたときにそれを検出する必要があります。

PAGED_CODE マクロは、チェック ビルドでのみ動作します。

Windows 2000 以降で使用できます。