hdmi_irq_thread  1989 drivers/gpu/drm/exynos/exynos_hdmi.c 			hdmi_irq_thread, IRQF_TRIGGER_RISING |
hdmi_irq_thread  1433 drivers/gpu/drm/sti/sti_hdmi.c 			hdmi_irq_thread, IRQF_ONESHOT, dev_name(dev), hdmi);