pub const __HYPERVISOR_arch_7: u32 = 55;