rt_mutex_top_waiter
rt_waiter = rt_mutex_top_waiter(&pi_state->pi_mutex);
waiter = rt_mutex_top_waiter(lock);
top_waiter = rt_mutex_top_waiter(lock);
struct rt_mutex_waiter *top_waiter = rt_mutex_top_waiter(lock);
rt_mutex_top_waiter(lock)))
rt_mutex_enqueue_pi(task, rt_mutex_top_waiter(lock));
top_waiter = rt_mutex_top_waiter(lock);
if (waiter == rt_mutex_top_waiter(lock)) {
waiter = rt_mutex_top_waiter(lock);
bool is_top_waiter = (waiter == rt_mutex_top_waiter(lock));
rt_mutex_enqueue_pi(owner, rt_mutex_top_waiter(lock));
if (waiter == rt_mutex_top_waiter(lock))
if (&waiter == rt_mutex_top_waiter(lock))
top_waiter = rt_mutex_top_waiter(lock);
prerequeue_top_waiter = rt_mutex_top_waiter(lock);
top_waiter = rt_mutex_top_waiter(lock);
if (waiter == rt_mutex_top_waiter(lock)) {