tag	line	file	source code
tbuf	403	kernel/sys.c	int sys_times(struct tms * tbuf)
tbuf	405	kernel/sys.c	if (tbuf) {
tbuf	406	kernel/sys.c	verify_area(tbuf,sizeof *tbuf);
tbuf	407	kernel/sys.c	put_fs_long(current->utime,(unsigned long *)&tbuf->tms_utime);
tbuf	408	kernel/sys.c	put_fs_long(current->stime,(unsigned long *)&tbuf->tms_stime);
tbuf	409	kernel/sys.c	put_fs_long(current->cutime,(unsigned long *)&tbuf->tms_cutime);
tbuf	410	kernel/sys.c	put_fs_long(current->cstime,(unsigned long *)&tbuf->tms_cstime);