1 #include <u.h> 2 #include <libc.h> 3 4 #define HZ 1000 5 6 double 7 cputime(void) 8 { 9 long t[4]; 10 int i; 11 12 times(t); 13 for(i=1; i<4; i++) 14 t[0] += t[i]; 15 return t[0] / (double)HZ; 16 } 17