vc4_hdmi_write_infoframe  406 drivers/gpu/drm/vc4/vc4_hdmi.c 	vc4_hdmi_write_infoframe(encoder, &frame);
vc4_hdmi_write_infoframe  422 drivers/gpu/drm/vc4/vc4_hdmi.c 	vc4_hdmi_write_infoframe(encoder, &frame);
vc4_hdmi_write_infoframe  440 drivers/gpu/drm/vc4/vc4_hdmi.c 	vc4_hdmi_write_infoframe(encoder, &frame);