pthread_mutex_getprioceiling
pthread_mutex_getprioceiling(const pthread_mutex_t* mutex, int* _prioCeiling)
void pthread_mutex_getprioceiling() {}