tag	line	file	source code
system_call	64	kernel/sched.c	extern int system_call(void);
system_call	497	kernel/sched.c	set_system_gate(0x80,&system_call);