SVGA3dCmdDestroyShader 1030 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h SVGA3dCmdDestroyShader;         /* SVGA_3D_CMD_SHADER_DESTROY */
SVGA3dCmdDestroyShader 1952 drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c 	VMW_DECLARE_CMD_VAR(*cmd, SVGA3dCmdDestroyShader);