# Constant miri::shims::unix::sync::PTHREAD_MUTEX_NORMAL_FLAG

source ·

    const PTHREAD_MUTEX_NORMAL_FLAG: i32 = 0x8000000;

Expand description

A flag that allows to distinguish `PTHREAD_MUTEX_NORMAL` from `PTHREAD_MUTEX_DEFAULT`. Since in `glibc` they have the same numeric values, but different behaviour, we need a way to distinguish them. We do this by setting this bit flag to the `PTHREAD_MUTEX_NORMAL` mutexes. See the comment in `pthread_mutexattr_settype` function.