SVGA3D_SHADERTYPE_PREDX_MAX 1405 drivers/gpu/drm/vmwgfx/device_include/svga3d_types.h    (SVGA3D_SHADERTYPE_PREDX_MAX - SVGA3D_SHADERTYPE_MIN)
SVGA3D_SHADERTYPE_PREDX_MAX 1997 drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c 	if (cmd->body.type >= SVGA3D_SHADERTYPE_PREDX_MAX) {