Symbol: SVGA3D_SHADERTYPE_MAX
drivers/gpu/drm/vmwgfx/device_include/svga3d_types.h
1272
#define SVGA3D_NUM_SHADERTYPE (SVGA3D_SHADERTYPE_MAX - SVGA3D_SHADERTYPE_MIN)
drivers/gpu/drm/vmwgfx/vmwgfx_drv.h
1518
max_allowed = SVGA3D_SHADERTYPE_MAX;