resched_proc      545 kern/sched_bsd.c 	resched_proc(p, p->p_priority);
resched_proc      563 kern/sched_bsd.c 	resched_proc(p, p->p_usrpri);