SVGA3D_MAKE_HWVERSION   58 drivers/gpu/drm/vmwgfx/device_include/svga3d_devcaps.h    SVGA3D_HWVERSION_WS5_RC1   = SVGA3D_MAKE_HWVERSION(0, 1),
SVGA3D_MAKE_HWVERSION   59 drivers/gpu/drm/vmwgfx/device_include/svga3d_devcaps.h    SVGA3D_HWVERSION_WS5_RC2   = SVGA3D_MAKE_HWVERSION(0, 2),
SVGA3D_MAKE_HWVERSION   60 drivers/gpu/drm/vmwgfx/device_include/svga3d_devcaps.h    SVGA3D_HWVERSION_WS51_RC1  = SVGA3D_MAKE_HWVERSION(0, 3),
SVGA3D_MAKE_HWVERSION   61 drivers/gpu/drm/vmwgfx/device_include/svga3d_devcaps.h    SVGA3D_HWVERSION_WS6_B1    = SVGA3D_MAKE_HWVERSION(1, 1),
SVGA3D_MAKE_HWVERSION   62 drivers/gpu/drm/vmwgfx/device_include/svga3d_devcaps.h    SVGA3D_HWVERSION_FUSION_11 = SVGA3D_MAKE_HWVERSION(1, 4),
SVGA3D_MAKE_HWVERSION   63 drivers/gpu/drm/vmwgfx/device_include/svga3d_devcaps.h    SVGA3D_HWVERSION_WS65_B1   = SVGA3D_MAKE_HWVERSION(2, 0),
SVGA3D_MAKE_HWVERSION   64 drivers/gpu/drm/vmwgfx/device_include/svga3d_devcaps.h    SVGA3D_HWVERSION_WS8_B1    = SVGA3D_MAKE_HWVERSION(2, 1),