vc4_hdmi_encoder_destroy  312 drivers/gpu/drm/vc4/vc4_hdmi.c 	.destroy = vc4_hdmi_encoder_destroy,
vc4_hdmi_encoder_destroy 1467 drivers/gpu/drm/vc4/vc4_hdmi.c 	vc4_hdmi_encoder_destroy(hdmi->encoder);
vc4_hdmi_encoder_destroy 1486 drivers/gpu/drm/vc4/vc4_hdmi.c 	vc4_hdmi_encoder_destroy(hdmi->encoder);