I'm not even sure who to ask about this one. This was a bug as a result of removing recursion from thread_lock(). It looks like the sched_prio() is not really necessary as rtp will do it in the important cases but it may miss setting user_pri until the first userret. I don't think this is a problem.