Re: [PATCH v3 2/8] ttm: turn ttm_bo_device.vma_manager into a pointer