SUNXI_HDMI_HPD_REG
uint32_t hpd = HDMI_READ(sc, SUNXI_HDMI_HPD_REG);
hpd = HDMI_READ(sc, SUNXI_HDMI_HPD_REG);