clock_tick
(double)(after-before)/clock_tick,
(double)buffer.tms_cutime/clock_tick,
(double)buffer.tms_cstime/clock_tick);
int clock_tick = CLK_TCK;
quant[0] = clock_tick/10;
clock_tick(t, pending);
extern void clock_tick(kthread_t *, int);