HDMI_INT_EN
hdmi_write(hdmi, HDMI_DEFAULT_INT, HDMI_INT_EN);
DBGFS_DUMP("", HDMI_INT_EN);
hdmi_write(hdmi, HDMI_WORKING_INT, HDMI_INT_EN);