hdmi_irq_thread 1666 drivers/gpu/drm/exynos/exynos_hdmi.c static irqreturn_t hdmi_irq_thread(int irq, void *arg) hdmi_irq_thread 185 drivers/gpu/drm/sti/sti_hdmi.c static irqreturn_t hdmi_irq_thread(int irq, void *arg)