effective_prio   2423 kernel/sched.c 	p->prio = effective_prio(p);
effective_prio   4973 kernel/sched.c 	p->prio = effective_prio(p);