invertBox        1842 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h    uint32 invertBox;
invertBox        1886 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h    uint32 invertBox;