tag	line	file	source code
fast_interrupt	157	kernel/irq.c	static void (*fast_interrupt[16])(void) = {
fast_interrupt	238	kernel/irq.c	set_intr_gate(0x20+irq,fast_interrupt[irq]);