kern_process_cputime
kern_process_cputime(p, tp);
kern_process_cputime(p2, ats);
kern_process_cputime(p, ats);
void kern_process_cputime(struct proc *targetp, struct timespec *ats);