setrunqueue
setrunqueue(ci, p, p->p_usrpri);
setrunqueue(NULL, p, p->p_runpri);
setrunqueue(ci, p, p->p_usrpri);
setrunqueue(p->p_cpu, p, newprio);
setrunqueue(p->p_cpu, p, p->p_usrpri);
setrunqueue(p->p_cpu, p, p->p_usrpri);
setrunqueue(p->p_cpu, p, p->p_usrpri);
setrunqueue(NULL, p, prio);
setrunqueue(NULL, p, prio);
void setrunqueue(struct cpu_info *, struct proc *, uint8_t);