pthread_mutexattr_setprotocol
pthread_mutexattr_setprotocol(pthread_mutexattr_t *_mutexAttr, int protocol)
void pthread_mutexattr_setprotocol() {}