#if DBG #define PAGED_CODE() if (VideoPortGetCurrentIrql() > 1 /*APC_LEVEL*/) { VideoPortDebugPrint(0, "Video: Pageable code called at IRQL %d ", VideoPortGetCurrentIrql() ); ASSERT(FALSE); } #else #define PAGED_CODE() #endif