tag	line	file	source code
bad_interrupt	131	arch/i386/kernel/irq.c	static void (*bad_interrupt[16])(void) = {
bad_interrupt	269	arch/i386/kernel/irq.c	set_intr_gate(0x20+irq,bad_interrupt[irq]);
bad_interrupt	359	arch/i386/kernel/irq.c	set_intr_gate(0x20+i,bad_interrupt[i]);
bad_interrupt	89	arch/mips/kernel/irq.c	extern void bad_interrupt(void);
bad_interrupt	221	arch/mips/kernel/irq.c	set_intr_gate(irq,bad_interrupt);
bad_interrupt	292	arch/mips/kernel/irq.c	set_intr_gate(i, bad_interrupt);