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