waiter            418 sys/sync/mutex.c prio_inherit(thread_t waiter)
waiter            420 sys/sync/mutex.c 	mutex_t m = waiter->mutex_waiting;
waiter            431 sys/sync/mutex.c 		if (holder == waiter) {
waiter            433 sys/sync/mutex.c 				 (long)m, (long)holder, (long)waiter));
waiter            441 sys/sync/mutex.c 		if (holder->priority > waiter->priority) {
waiter            442 sys/sync/mutex.c 			sched_setpri(holder, holder->basepri, waiter->priority);
waiter            443 sys/sync/mutex.c 			m->priority = waiter->priority;