#if DBG

#define PAGED_CODE() \

    if (VideoPortGetCurrentIrql() >  /*APC_LEVEL*/) { \

        VideoPortDebugPrint(, "Video: Pageable code called at IRQL %d\n", VideoPortGetCurrentIrql() ); \

        ASSERT(FALSE); \

        }

#else

#define PAGED_CODE()

#endif