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