tag	line	file	source code
sys_times	56	include/linux/sys.h	extern int sys_times();
sys_times	123	kernel/sched.c	sys_rmdir, sys_dup, sys_pipe, sys_times, sys_prof, sys_brk, sys_setgid,