next_stick
void next_stick(long);
next_stick(ci->ci_tick_increment);
next_stick(curcpu()->ci_tick_increment);