rt_mutex_top_waiter  644 kernel/locking/rtmutex.c 		top_waiter = rt_mutex_top_waiter(lock);
rt_mutex_top_waiter  661 kernel/locking/rtmutex.c 	prerequeue_top_waiter = rt_mutex_top_waiter(lock);
rt_mutex_top_waiter  704 kernel/locking/rtmutex.c 		if (prerequeue_top_waiter != rt_mutex_top_waiter(lock))
rt_mutex_top_waiter  705 kernel/locking/rtmutex.c 			wake_up_process(rt_mutex_top_waiter(lock)->task);
rt_mutex_top_waiter  715 kernel/locking/rtmutex.c 	if (waiter == rt_mutex_top_waiter(lock)) {
rt_mutex_top_waiter  738 kernel/locking/rtmutex.c 		waiter = rt_mutex_top_waiter(lock);
rt_mutex_top_waiter  763 kernel/locking/rtmutex.c 	top_waiter = rt_mutex_top_waiter(lock);
rt_mutex_top_waiter  847 kernel/locking/rtmutex.c 		if (waiter != rt_mutex_top_waiter(lock))
rt_mutex_top_waiter  872 kernel/locking/rtmutex.c 						  rt_mutex_top_waiter(lock)))
rt_mutex_top_waiter  905 kernel/locking/rtmutex.c 		rt_mutex_enqueue_pi(task, rt_mutex_top_waiter(lock));
rt_mutex_top_waiter  960 kernel/locking/rtmutex.c 		top_waiter = rt_mutex_top_waiter(lock);
rt_mutex_top_waiter  971 kernel/locking/rtmutex.c 	if (waiter == rt_mutex_top_waiter(lock)) {
rt_mutex_top_waiter 1024 kernel/locking/rtmutex.c 	waiter = rt_mutex_top_waiter(lock);
rt_mutex_top_waiter 1070 kernel/locking/rtmutex.c 	bool is_top_waiter = (waiter == rt_mutex_top_waiter(lock));
rt_mutex_top_waiter 1093 kernel/locking/rtmutex.c 		rt_mutex_enqueue_pi(owner, rt_mutex_top_waiter(lock));
rt_mutex_top_waiter 1828 kernel/locking/rtmutex.c 	return rt_mutex_top_waiter(lock)->task;