Searched refs:DbgIrq (Results 1 – 1 of 1) sorted by relevance
236 typedef void ( * DbgIrq) (unsigned short, int, char *, va_list) ; typedef258 DbgIrq dbg_irq ; /* function for irql checked debug */