Constant __HYPERVISOR_arch_7

pub const __HYPERVISOR_arch_7: u32 = 55;