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