SVGA3dRGBAFloat   595 drivers/gpu/drm/vmwgfx/device_include/svga3d_dx.h    SVGA3dRGBAFloat rgba;
SVGA3dRGBAFloat  1317 drivers/gpu/drm/vmwgfx/device_include/svga3d_dx.h    SVGA3dRGBAFloat borderColor;
SVGA3dRGBAFloat  1340 drivers/gpu/drm/vmwgfx/device_include/svga3d_dx.h    SVGA3dRGBAFloat borderColor;