tag	line	file	source code
set_intr_gate	185	kernel/irq.c	set_intr_gate(0x20+irq,fast_interrupt[irq]);
set_intr_gate	187	kernel/irq.c	set_intr_gate(0x20+irq,interrupt[irq]);
set_intr_gate	234	kernel/irq.c	set_intr_gate(0x20+irq,bad_interrupt[irq]);
set_intr_gate	277	kernel/irq.c	set_intr_gate(0x20+i,bad_interrupt[i]);