remove_waiter    1270 kernel/locking/rtmutex.c 		remove_waiter(lock, &waiter);
remove_waiter    1805 kernel/locking/rtmutex.c 		remove_waiter(lock, waiter);
remove_waiter    1911 kernel/locking/rtmutex.c 		remove_waiter(lock, waiter);