pub const __HYPERVISOR_arch_2: u32 = 50;