cpu_update_pct
(void) cpu_update_pct(tp, curtime);
(void) cpu_update_pct(tp, gethrtime_unscaled());
(void) cpu_update_pct(tp, curtime);
(void) cpu_update_pct(tp, gethrtime_unscaled());
pct += cpu_update_pct(t, cur_time);
pct += cpu_update_pct(t, cur_time);
pct += cpu_update_pct(t, cur_time);
pct += cpu_update_pct(t, cur_time);
pct = cpu_update_pct(t, gethrtime_unscaled());
pct = cpu_update_pct(t, gethrtime_unscaled());
(void) cpu_update_pct(t, curtime);
(void) cpu_update_pct(t, curtime);
extern uint_t cpu_update_pct(kthread_t *, hrtime_t);