HDMI_INTR_STATUS1
interrupt = hdmi_readb(hdmi, HDMI_INTR_STATUS1);
hdmi_writeb(hdmi, HDMI_INTR_STATUS1, interrupt);
hdmi_writeb(hdmi, HDMI_INTR_STATUS1, HDMI_INTR_EDID_MASK);