See pthread_mutexattr_getprotocol.html