Symbol: rt_mutex_get_top_task
kernel/sched/sched.h
4049
struct task_struct *pi_task = rt_mutex_get_top_task(p);
kernel/sched/syscalls.c
300
struct task_struct *pi_task = rt_mutex_get_top_task(p);