getpcpu
double getpcpu(const KINFO *);
printf("%*.1f", vent->width, getpcpu(k));
di = getpcpu(b) - getpcpu(a);