tag	line	file	source code
bad_interrupt	117	kernel/irq.c	static void (*bad_interrupt[16])(void) = {
bad_interrupt	234	kernel/irq.c	set_intr_gate(0x20+irq,bad_interrupt[irq]);
bad_interrupt	272	kernel/irq.c	set_intr_gate(0x20+i,bad_interrupt[i]);