If a thread with SCHED_OTHER priority was going to take a PP mutex, it always fails because __pthread_tpp_change_priority() tries to change its priority without changing its sched policy. Is this a spec, or design, or bug? It is unclear for me if non-FIFO thread can take PP mutex or not. --- Atsushi Nemoto