/* HDMI pin mux and internal connection mux be noted that the HDMI is drivern by the IPU1 di0 here  */
void hdmi_pgm_iomux(void)
/* HDMI pin mux and internal connection mux be noted that the HDMI is drivern by the IPU1 di0 here  */
void hdmi_pgm_iomux(void)
{
    ipu1_iomux_config();
    hdmi_tx_cec_pgm_iomux();
    hdmi_tx_ddc_pgm_iomux();
    hdmi_tx_phydtb_pgm_iomux();
}