/* SPDX-License-Identifier: GPL-2.0-only */ #include <console/console.h> #include <device/mmio.h> #include <soc/hdmi.h> void hdmi_low_power_setting(void) { printk(BIOS_INFO, "%s: Enable HDMI low power setting\n", __func__); setbits32((void *)HDMI_PROTECT_REG, BIT(0) | BIT(1)); /* HDMI-RX powerdown */ write32((void *)HDMI_RX_PDN_0_REG, HDMI_RX_PDN_0_VAL); write32((void *)HDMI_RX_PDN_1_REG, HDMI_RX_PDN_1_VAL); write32((void *)HDMI_RX_PDN_2_REG, HDMI_RX_PDN_2_VAL); write32((void *)HDMI_RX_PDN_3_REG, HDMI_RX_PDN_3_VAL); write32((void *)HDMI_RX_PDN_4_REG, HDMI_RX_PDN_4_VAL); write32((void *)HDMI_RX_PDN_5_REG, HDMI_RX_PDN_5_VAL); write32((void *)HDMI_RX_PDN_6_REG, HDMI_RX_PDN_6_VAL); write32((void *)HDMI_RX_PDN_7_REG, HDMI_RX_PDN_7_VAL); /* HDMI-TX powerdown */ write32((void *)HDMI_TX_PDN_REG, HDMI_TX_PDN_VAL); }