Constant sel4_sys::invocation_label::ARMPageUnmap

pub const ARMPageUnmap: u32 = 44u32;