Constant sel4_sys::invocation_label::ARMPageMap

pub const ARMPageMap: u32 = 37u32;