tag	line	file	source code
set_intr_gate	217	kernel/irq.c	set_intr_gate(0x20+irq,fast_interrupt[irq]);
set_intr_gate	219	kernel/irq.c	set_intr_gate(0x20+irq,interrupt[irq]);
set_intr_gate	260	kernel/irq.c	set_intr_gate(0x20+irq,bad_interrupt[irq]);
set_intr_gate	290	kernel/irq.c	set_intr_gate(0x20+i,bad_interrupt[i]);