rt_mutex_dequeue_pi - Linux

Symbol: rt_mutex_dequeue_pi

kernel/locking/rtmutex.c

rt_mutex_dequeue_pi(task, waiter);

kernel/locking/rtmutex.c

rt_mutex_dequeue_pi(owner, top_waiter);

kernel/locking/rtmutex.c

rt_mutex_dequeue_pi(current, waiter);

kernel/locking/rtmutex.c

rt_mutex_dequeue_pi(owner, waiter);

kernel/locking/rtmutex.c

rt_mutex_dequeue_pi(task, prerequeue_top_waiter);