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

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