taglinefilesource code
bad_interrupt131arch/i386/kernel/irq.cstatic void (*bad_interrupt[16])(void) = {
bad_interrupt269arch/i386/kernel/irq.cset_intr_gate(0x20+irq,bad_interrupt[irq]);
bad_interrupt359arch/i386/kernel/irq.cset_intr_gate(0x20+i,bad_interrupt[i]);
bad_interrupt89arch/mips/kernel/irq.cextern void bad_interrupt(void);
bad_interrupt221arch/mips/kernel/irq.cset_intr_gate(irq,bad_interrupt);
bad_interrupt292arch/mips/kernel/irq.cset_intr_gate(i, bad_interrupt);