const PTHREAD_MUTEX_KIND_UNCHANGED: i32 = 0x8000000;Expand description
To differentiate “the mutex kind has not been changed” from “the mutex kind has been set to PTHREAD_MUTEX_DEFAULT and that is equal to some other mutex kind”, we make the default value of this field not PTHREAD_MUTEX_DEFAULT but this special flag.