ARMPageMap

sel4_sys::invocation_label

Constant ARMPageMap 

Source 
pub const ARMPageMap: u32 = 39u32;