prerequeue_top_waiter  457 kernel/locking/rtmutex.c 	struct rt_mutex_waiter *prerequeue_top_waiter;
prerequeue_top_waiter  661 kernel/locking/rtmutex.c 	prerequeue_top_waiter = rt_mutex_top_waiter(lock);
prerequeue_top_waiter  704 kernel/locking/rtmutex.c 		if (prerequeue_top_waiter != rt_mutex_top_waiter(lock))
prerequeue_top_waiter  722 kernel/locking/rtmutex.c 		rt_mutex_dequeue_pi(task, prerequeue_top_waiter);
prerequeue_top_waiter  726 kernel/locking/rtmutex.c 	} else if (prerequeue_top_waiter == waiter) {