SVGA3D_MOBFMT_RANGE  140 drivers/gpu/drm/vmwgfx/vmwgfx_mob.c 		mob->pt_level = SVGA3D_MOBFMT_RANGE;
SVGA3D_MOBFMT_RANGE  668 drivers/gpu/drm/vmwgfx/vmwgfx_mob.c 		mob->pt_level = SVGA3D_MOBFMT_RANGE;