HDMI_INT_STA      222 drivers/gpu/drm/sti/sti_hdmi.c 	hdmi->irq_status = hdmi_read(hdmi, HDMI_INT_STA);
HDMI_INT_STA      228 drivers/gpu/drm/sti/sti_hdmi.c 	hdmi_read(hdmi, HDMI_INT_STA);