fetch_cptime
int fetch_cptime(u_int64_t *);
(void) fetch_cptime(stime);
(void) fetch_cptime(cputime);