pub const __HYPERVISOR_arch_0: u32 = 48;