hdmi_set_infoframe  473 drivers/gpu/drm/omapdrm/dss/hdmi4.c 		.set_infoframe		= hdmi_set_infoframe,
hdmi_set_infoframe  466 drivers/gpu/drm/omapdrm/dss/hdmi5.c 		.set_infoframe		= hdmi_set_infoframe,
hdmi_set_infoframe  503 drivers/video/fbdev/omap2/omapfb/dss/hdmi4.c 	.set_infoframe		= hdmi_set_infoframe,
hdmi_set_infoframe  533 drivers/video/fbdev/omap2/omapfb/dss/hdmi5.c 	.set_infoframe		= hdmi_set_infoframe,