Re: [PATCH] drm: Prune GEM vma entries