PAGED_CODE()

#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