#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