taglinefilesource code
tbuf325kernel/sys.cint sys_times(struct tms * tbuf)
tbuf327kernel/sys.cif (tbuf) {
tbuf328kernel/sys.cverify_area(tbuf,sizeof *tbuf);
tbuf329kernel/sys.cput_fs_long(current->utime,(unsigned long *)&tbuf->tms_utime);
tbuf330kernel/sys.cput_fs_long(current->stime,(unsigned long *)&tbuf->tms_stime);
tbuf331kernel/sys.cput_fs_long(current->cutime,(unsigned long *)&tbuf->tms_cutime);
tbuf332kernel/sys.cput_fs_long(current->cstime,(unsigned long *)&tbuf->tms_cstime);