Re: [PATCH] drm/ttm: optimize the pool shrinker a bit v3