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