SVGAGBVertexElement 1452 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h SVGAGBVertexElement;
SVGAGBVertexElement 1471 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h    SVGAGBVertexElement decl1[4];
SVGAGBVertexElement 1474 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h    SVGAGBVertexElement decl2[18];
SVGAGBVertexElement 1492 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h    SVGAGBVertexElement decl3[10];