tag	line	file	source code
timer_interrupt	50	kernel/sched.c	extern int timer_interrupt(void);
timer_interrupt	409	kernel/sched.c	set_intr_gate(0x20,&timer_interrupt);