miri::shims::unix

Module sync

source

StructsΒ§

EnumsΒ§

ConstantsΒ§

  • 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.

TraitsΒ§

FunctionsΒ§