/* SPDX-License-Identifier: GPL-2.0-only OR MIT */ #include <device/mmio.h> #include <soc/infracfg.h> #include <soc/mtcmos.h> #include <soc/spm.h> void mtcmos_set_scpd_ext_buck_iso(const struct power_domain_data *pd) { clrbits32(&mtk_spm->ext_buck_iso, pd->ext_buck_iso_bits); }