SVGA3dCmdDestroyContext  407 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h SVGA3dCmdDestroyContext;      /* SVGA_3D_CMD_CONTEXT_DESTROY */
SVGA3dCmdDestroyContext  142 drivers/gpu/drm/vmwgfx/vmwgfx_context.c 		SVGA3dCmdDestroyContext body;