do_sys_times      961 kernel/sys.c   		do_sys_times(&tmp);
do_sys_times      981 kernel/sys.c   		do_sys_times(&tms);