task_cpu_time_incr
secs = task_cpu_time_incr(pp->p_task, pp->p_ttime);
(void) task_cpu_time_incr(p->p_task, p->p_ttime);
extern rctl_qty_t task_cpu_time_incr(task_t *, rctl_qty_t);