rt_mutex_get_top_task 4354 kernel/sched/core.c 	struct task_struct *pi_task = rt_mutex_get_top_task(p);
rt_mutex_get_top_task 1474 kernel/sched/deadline.c 	struct task_struct *pi_task = rt_mutex_get_top_task(p);