pthread_mutexattr_setprioceiling
int pthread_mutexattr_setprioceiling(pthread_mutexattr_t *, int);
pthread_mutexattr_setprioceiling);