SVGA3dShaderConstInt 1432 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h SVGA3dShaderConstInt;
SVGA3dShaderConstInt 1501 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h    SVGA3dShaderConstInt pShaderIValues[SVGA3D_CONSTINTREG_MAX];
SVGA3dShaderConstInt 1502 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h    SVGA3dShaderConstInt vShaderIValues[SVGA3D_CONSTINTREG_MAX];