Function miri::shims::unix::sync::is_mutex_kind_default

fn is_mutex_kind_default<'mir, 'tcx: 'mir>(
    ecx: &MiriInterpCx<'mir, 'tcx>,
    kind: i32
) -> InterpResult<'tcx, bool>