hdmi4_cec_irq 94 drivers/gpu/drm/omapdrm/dss/hdmi4.c hdmi4_cec_irq(&hdmi->core); hdmi4_cec_irq 30 drivers/gpu/drm/omapdrm/dss/hdmi4_cec.h void hdmi4_cec_irq(struct hdmi_core_data *core);