sched_resched_cpu
sched_resched_cpu(l->l_cpu, PRI_USER_RT, true);
sched_resched_cpu(ci, lwp_eprio(l), unlock);
sched_resched_cpu(ci, PRI_KERNEL, true);
sched_resched_cpu(ci, spc->spc_maxpriority, true);
sched_resched_cpu(ci, spc->spc_maxpriority, true);
sched_resched_cpu(ci, MAXPRI_KTHREAD, true);
sched_resched_cpu(ci, pri, true);
sched_resched_cpu(ci, MAXPRI_KTHREAD, true);
void sched_resched_cpu(struct cpu_info *, pri_t, bool);