indexBufferSid    790 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h    uint32 indexBufferSid;     /* Valid index buffer sid. */
indexBufferSid   1561 drivers/gpu/drm/vmwgfx/device_include/svga3d_dx.h    uint32 indexBufferSid;