sched_setpri       80 sys/include/sched.h void	 sched_setpri(thread_t, int, int);
sched_setpri      364 sys/kern/thread.c 		sched_setpri(t, pri, pri);
sched_setpri      442 sys/sync/mutex.c 			sched_setpri(holder, holder->basepri, waiter->priority);
sched_setpri      493 sys/sync/mutex.c 	sched_setpri(t, t->basepri, maxpri);