ref: 1e8a9ebb0f76b0ebe8eb31d79c44324c1c1ed70f
dir: /sys/src/libc/9sys/cputime.c/
#include <u.h>
#include <libc.h>
#define HZ 1000
double
cputime(void)
{
long t[4];
long times(long*);
int i;
times(t);
for(i=1; i<4; i++)
t[0] += t[i];
return t[0] / (double)HZ;
}