vc4_gem_destroy 311 drivers/gpu/drm/vc4/vc4_drv.c vc4_gem_destroy(drm); vc4_gem_destroy 795 drivers/gpu/drm/vc4/vc4_drv.h void vc4_gem_destroy(struct drm_device *dev);