Constant sel4_sys::invocation_label::ARMPageTableUnmap

pub const ARMPageTableUnmap: u32 = 42u32;