taglinefilesource code
bad_interrupt163arch/i386/kernel/irq.cstatic void (*bad_interrupt[16])(void) = {
bad_interrupt480arch/i386/kernel/irq.cset_intr_gate(0x20+irq,bad_interrupt[irq]);
bad_interrupt541arch/i386/kernel/irq.cset_intr_gate(0x20+i,bad_interrupt[i]);
bad_interrupt99arch/mips/kernel/irq.cextern void bad_interrupt(void);
bad_interrupt301arch/mips/kernel/irq.cset_int_vector(irq,bad_interrupt);
bad_interrupt392arch/mips/kernel/irq.cset_int_vector(i, bad_interrupt);
bad_interrupt333arch/ppc/kernel/irq.cset_intr_gate(0x20+irq,bad_interrupt[irq]);