Symbol: SVGA3D_SHADERTYPE_DX10_MAX
drivers/gpu/drm/vmwgfx/device_include/svga3d_types.h
1270
(SVGA3D_SHADERTYPE_DX10_MAX - SVGA3D_SHADERTYPE_MIN)
drivers/gpu/drm/vmwgfx/vmwgfx_drv.h
1520
max_allowed = SVGA3D_SHADERTYPE_DX10_MAX;