Constant GuestOsOpenSourceXen 

pub const GuestOsOpenSourceXen: GUEST_OS_OPENSOURCE_IDS = 3i32;