cputime
void cputime(const struct pinfo *, VARENT *);
{"time", "TIME", NULL, USER, cputime, 9},
unsigned long cputime(void);
t0 = cputime();
(void)fprintf(stderr, "fastfind %ld ms\n", cputime () - t0);
f1 = cputime(i);
f1 += cputime(CP_NICE);
static float cputime(int);
int cputime;
cputime = pp->p_rtime_sec + ((pp->p_rtime_usec + 500000) / 1000000);
eighth_buf, format_time(cputime), 100.0 * pct,