tag	line	file	source code
system_call	79	kernel/sched.c	asmlinkage int system_call(void);
system_call	784	kernel/sched.c	set_system_gate(0x80,&system_call);