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