PTHREAD_MUTEX_DEFAULT
{ PTHREAD_MUTEX_DEFAULT, 0, -42, -1, 0 }
|| MUTEX_TYPE(mutex) == PTHREAD_MUTEX_DEFAULT) {
PTHREAD_MUTEX_DEFAULT,
|| MUTEX_TYPE(mutex) == PTHREAD_MUTEX_DEFAULT) {
attr->type = PTHREAD_MUTEX_DEFAULT;
|| type < PTHREAD_MUTEX_DEFAULT