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);