stencilRef 383 drivers/gpu/drm/vmwgfx/device_include/svga3d_dx.h uint32 stencilRef; stencilRef 1580 drivers/gpu/drm/vmwgfx/device_include/svga3d_dx.h uint32 stencilRef;