/* This can be both boosting and unboosting. task->pi_lock must be held.  */
static void __rt_mutex_adjust_prio(struct task_struct *task)
/* This can be both boosting and unboosting. task->pi_lock must be held.  */
static void __rt_mutex_adjust_prio(struct task_struct *task)
{
	int prio = rt_mutex_getprio(task);
	if (task->prio != prio)
		rt_mutex_setprio(task, prio);
}