Symbol: rkdwhdmi_attach