Symbol: rkdwhdmi_enable