HDMI_INTR_EDID_MASK
if (interrupt & HDMI_INTR_EDID_MASK) {
HDMI_INTR_EDID_MASK, HDMI_INTR_EDID_MASK);
hdmi_modb(hdmi, HDMI_INTR_MASK1, HDMI_INTR_EDID_MASK, 0);
hdmi_modb(hdmi, HDMI_INTR_MASK1, HDMI_INTR_EDID_MASK, 0);
hdmi_writeb(hdmi, HDMI_INTR_STATUS1, HDMI_INTR_EDID_MASK);