Defined in: Wdm.h
The PAGED_CODE macro ensures that the calling thread is running at an IRQL that is low enough to permit paging.
If the IRQL > APC_LEVEL, the PAGED_CODE macro causes the system to ASSERT.
A call to this macro should be made at the beginning of every driver routine that either contains pageable code or accesses pageable code.
The PAGED_CODE macro checks the IRQL only at the point at which the driver code executes the macro.
If the code subsequently raises the IRQL, the macro will not detect this change.
The PAGED_CODE macro works only in checked builds.
Available starting with Windows 2000.