hdmi_audio_infoframe_config  870 drivers/gpu/drm/sti/sti_hdmi.c 	return hdmi_audio_infoframe_config(hdmi);
hdmi_audio_infoframe_config  915 drivers/gpu/drm/sti/sti_hdmi.c 		hdmi_audio_infoframe_config(hdmi);
hdmi_audio_infoframe_config 1160 drivers/gpu/drm/sti/sti_hdmi.c 	hdmi_audio_infoframe_config(hdmi);