SUNXI_HDMI_ADMA_CTRL_REG
val = HDMI_READ(sc, SUNXI_HDMI_ADMA_CTRL_REG);
HDMI_WRITE(sc, SUNXI_HDMI_ADMA_CTRL_REG, val);