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;}