hdmi.c

Go to the documentation of this file.

/* 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);
}