rt_mutex_dequeue  664 kernel/locking/rtmutex.c 	rt_mutex_dequeue(lock, waiter);
rt_mutex_dequeue  854 kernel/locking/rtmutex.c 		rt_mutex_dequeue(lock, waiter);
rt_mutex_dequeue 1077 kernel/locking/rtmutex.c 	rt_mutex_dequeue(lock, waiter);