pub const __HYPERVISOR_arch_4: u32 = 52;