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