mutex_setpri       87 sys/include/sync.h void	 mutex_setpri(thread_t, int);
mutex_setpri      363 sys/kern/thread.c 		mutex_setpri(t, pri);