Mutex options:
Source position: ptypes.inc line 377
const _PTHREAD_MUTEX_DEFAULT = _PTHREAD_MUTEX_NORMAL;