__rt_effective_prio 4356 kernel/sched/core.c 	return __rt_effective_prio(pi_task, prio);
__rt_effective_prio 4379 kernel/sched/core.c 	prio = __rt_effective_prio(pi_task, p->normal_prio);