Symbol: rt_mutex_debug_task_free
include/linux/rtmutex.h
80
extern void rt_mutex_debug_task_free(struct task_struct *tsk);
kernel/fork.c
554
rt_mutex_debug_task_free(tsk);