HDMI_INT_CLR      225 drivers/gpu/drm/sti/sti_hdmi.c 	hdmi_write(hdmi, hdmi->irq_status, HDMI_INT_CLR);
HDMI_INT_CLR      756 drivers/gpu/drm/sti/sti_hdmi.c 	hdmi_write(hdmi, 0xffffffff, HDMI_INT_CLR);