Symbol: RK3588_SYS_DSP_INFACE_EN_EDP_HDMI0_MUX