Constant __HYPERVISOR_arch_4

Source
pub const __HYPERVISOR_arch_4: u32 = 52;