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,