Symbol: rk_hdptx_hdmi_cfg