taglinefilesource code
set_intr_gate228arch/i386/kernel/irq.cset_intr_gate(0x20+irq,fast_interrupt[irq]);
set_intr_gate230arch/i386/kernel/irq.cset_intr_gate(0x20+irq,interrupt[irq]);
set_intr_gate279arch/i386/kernel/irq.cset_intr_gate(0x20+irq,bad_interrupt[irq]);
set_intr_gate365arch/i386/kernel/irq.cset_intr_gate(0x20+i,bad_interrupt[i]);