Constant sel4_sys::invocation_label::ARMPageTableUnmap

pub const ARMPageTableUnmap: u32 = 36u32;