SVGADXTimestampQueryResult 1493 drivers/gpu/drm/vmwgfx/device_include/svga3d_types.h SVGADXTimestampQueryResult;
SVGADXTimestampQueryResult 1564 drivers/gpu/drm/vmwgfx/device_include/svga3d_types.h    SVGADXTimestampQueryResult ts;