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