p->prio = MAX_USER_RT_PRIO-1 - p->rt_priority; 
p->prio = MAX_RT_PRIO-1 - p->rt_priority; 
static void __setscheduler(struct task_struct *p, int policy, int prio){	BUG_ON(p->array);	p->policy = policy;	p->rt_priority = prio;	if (policy != SCHED_NORMAL)		p->prio = MAX_USER_RT_PRIO-1 - p->rt_priority;	else		p->prio = p->static_prio;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d46523ea32a79fbc8cd1237f9441f45cc3f02456/sched.c/clean/kernel/sched.c