pub const GuestOsOpenSourceXen: GUEST_OS_OPENSOURCE_IDS = 3i32;