debug_rt_mutex_free_waiter   16 kernel/rtmutex-debug.h extern void debug_rt_mutex_free_waiter(struct rt_mutex_waiter *waiter);
debug_rt_mutex_free_waiter  722 kernel/rtmutex.c 	debug_rt_mutex_free_waiter(&waiter);