sel4_sys::invocation_label

Constant X86PageMap

Source 
pub const X86PageMap: u32 = 36u32;