Mutex options:
Source position: ptypes.inc line 264
const _PTHREAD_MUTEX_NORMAL = _PTHREAD_MUTEX_TIMED_NP;