sel4_sys::invocation_label

Constant ARMPageTableUnmap

Source 
pub const ARMPageTableUnmap: u32 = 42u32;