__normal_prio    1357 kernel/sched/core.c 		prio = __normal_prio(p);
__normal_prio    2865 kernel/sched/core.c 		p->prio = p->normal_prio = __normal_prio(p);