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