HDMI_INTR_HOTPLUG
if (interrupt & (HDMI_INTR_HOTPLUG | HDMI_INTR_MSENS))
hdmi_writeb(hdmi, HDMI_INTR_MASK1, HDMI_INTR_HOTPLUG);