attr_setprotocol(category24-kurz-tips.html) - phpMan

pthread_mutexattr_setprotocol (3p) - set the protocol attribute of the mutex ...