See pthread_mutexattr_getprioceiling.html