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 */