miri::shims::unix::sync

Function mutexattr_translate_kind

Source
fn mutexattr_translate_kind<'tcx>(
    ecx: &MiriInterpCx<'tcx>,
    kind: i32,
) -> InterpResult<'tcx, MutexKind>
Expand description

Translates the mutex kind from what is stored in pthread_mutexattr_t to our enum.