#if DBG #define PAGED_CODE() if (VideoPortGetCurrentIrql() > 1 /*APC_LEVEL*/) { VideoPortDebugPrint(0, "Video: Pageable code called at IRQL %d\n", VideoPortGetCurrentIrql() ); ASSERT(FALSE); } #else #define PAGED_CODE() #endif
原文：http://www.cnblogs.com/qintangtao/p/3513156.html