tag	line	file	source code
bad_interrupt	130	arch/i386/kernel/irq.c	static void (*bad_interrupt[16])(void) = {
bad_interrupt	268	arch/i386/kernel/irq.c	set_intr_gate(0x20+irq,bad_interrupt[irq]);
bad_interrupt	358	arch/i386/kernel/irq.c	set_intr_gate(0x20+i,bad_interrupt[i]);
bad_interrupt	82	arch/mips/kernel/irq.c	extern void bad_interrupt(void);
bad_interrupt	214	arch/mips/kernel/irq.c	set_intr_gate(irq,bad_interrupt);
bad_interrupt	285	arch/mips/kernel/irq.c	set_intr_gate(i, bad_interrupt);
bad_interrupt	126	arch/sparc/kernel/irq.c	set_intr_gate(0x20+i,bad_interrupt[i]);