hdmi_irq_handler  753 drivers/gpu/drm/omapdrm/dss/hdmi4.c 			NULL, hdmi_irq_handler,
hdmi_irq_handler  737 drivers/gpu/drm/omapdrm/dss/hdmi5.c 			NULL, hdmi_irq_handler,
hdmi_irq_handler  711 drivers/video/fbdev/omap2/omapfb/dss/hdmi4.c 			NULL, hdmi_irq_handler,
hdmi_irq_handler  750 drivers/video/fbdev/omap2/omapfb/dss/hdmi5.c 			NULL, hdmi_irq_handler,