pub const GuestOsVendorUndefined: GUEST_OS_VENDOR = 0i32;