tag	line	file	source code
set_intr_gate	238	kernel/irq.c	set_intr_gate(0x20+irq,fast_interrupt[irq]);
set_intr_gate	240	kernel/irq.c	set_intr_gate(0x20+irq,interrupt[irq]);
set_intr_gate	287	kernel/irq.c	set_intr_gate(0x20+irq,bad_interrupt[irq]);
set_intr_gate	328	kernel/irq.c	set_intr_gate(0x20+i,bad_interrupt[i]);