tag	line	file	source code
set_intr_gate	257	kernel/irq.c	set_intr_gate(0x20+irq,fast_interrupt[irq]);
set_intr_gate	259	kernel/irq.c	set_intr_gate(0x20+irq,interrupt[irq]);
set_intr_gate	307	kernel/irq.c	set_intr_gate(0x20+irq,bad_interrupt[irq]);
set_intr_gate	341	kernel/irq.c	set_intr_gate(0x20+i,bad_interrupt[i]);