rt_mutex_enqueue  685 kernel/locking/rtmutex.c 	rt_mutex_enqueue(lock, waiter);
rt_mutex_enqueue  961 kernel/locking/rtmutex.c 	rt_mutex_enqueue(lock, waiter);