taglinefilesource code
set_intr_gate235kernel/irq.cset_intr_gate(0x20+irq,fast_interrupt[irq]);
set_intr_gate237kernel/irq.cset_intr_gate(0x20+irq,interrupt[irq]);
set_intr_gate284kernel/irq.cset_intr_gate(0x20+irq,bad_interrupt[irq]);
set_intr_gate325kernel/irq.cset_intr_gate(0x20+i,bad_interrupt[i]);