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);