Symbol: get_process_cputime
sys/kern/kern_time.c
235
get_process_cputime(p, ats);
sys/kern/kern_time.c
251
get_process_cputime(p, ats);