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