hdmi4_cec_irq 109 drivers/gpu/drm/omapdrm/dss/hdmi4_cec.c void hdmi4_cec_irq(struct hdmi_core_data *core) hdmi4_cec_irq 39 drivers/gpu/drm/omapdrm/dss/hdmi4_cec.h static inline void hdmi4_cec_irq(struct hdmi_core_data *core)