Constant sel4_sys::invocation_label::ARMPageMap

pub const ARMPageMap: u32 = 43u32;