rt_mutex_dequeue_pi  722 kernel/locking/rtmutex.c 		rt_mutex_dequeue_pi(task, prerequeue_top_waiter);
rt_mutex_dequeue_pi  737 kernel/locking/rtmutex.c 		rt_mutex_dequeue_pi(task, waiter);
rt_mutex_dequeue_pi  972 kernel/locking/rtmutex.c 		rt_mutex_dequeue_pi(owner, top_waiter);
rt_mutex_dequeue_pi 1033 kernel/locking/rtmutex.c 	rt_mutex_dequeue_pi(current, waiter);
rt_mutex_dequeue_pi 1090 kernel/locking/rtmutex.c 	rt_mutex_dequeue_pi(owner, waiter);