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