Function miri::shims::unix::sync::mutexattr_get_kind

source ยท 
fn mutexattr_get_kind<'tcx>(
    ecx: &MiriInterpCx<'tcx>,
    attr_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, i32>