cpu_need_resched
cpu_need_resched(ci, l, f);
#ifndef cpu_need_resched
void cpu_need_resched(struct cpu_info *, struct lwp *, int);