[PATCH -next] drm: vmwgfx: add header file for ttm_range_manager