pthread_mutex_setprioceiling
pthread_mutex_setprioceiling(pthread_mutex_t* mutex, int prioCeiling,
void pthread_mutex_setprioceiling() {}