kern_thread_cputime
kern_thread_cputime(targettd, tp);
kern_thread_cputime(td2, ats);
kern_thread_cputime(NULL, ats);
void kern_thread_cputime(struct thread *targettd, struct timespec *ats);