hdmi_infoframe_reset  762 drivers/gpu/drm/sti/sti_hdmi.c 	hdmi_infoframe_reset(hdmi, HDMI_IFRAME_SLOT_AVI);
hdmi_infoframe_reset  763 drivers/gpu/drm/sti/sti_hdmi.c 	hdmi_infoframe_reset(hdmi, HDMI_IFRAME_SLOT_AUDIO);
hdmi_infoframe_reset  764 drivers/gpu/drm/sti/sti_hdmi.c 	hdmi_infoframe_reset(hdmi, HDMI_IFRAME_SLOT_VENDOR);