destSubResource   712 drivers/gpu/drm/vmwgfx/device_include/svga3d_dx.h    uint32 destSubResource;
destSubResource   782 drivers/gpu/drm/vmwgfx/device_include/svga3d_dx.h    uint32 destSubResource;
destSubResource   802 drivers/gpu/drm/vmwgfx/device_include/svga3d_dx.h    uint32 destSubResource;