Re: [PATCH v4 01/17] drm/ttm: turn ttm_bo_device.vma_manager into a pointer