sel4_sys::invocation_label

Constant X86PageDirectoryUnmap

Source 
pub const X86PageDirectoryUnmap: u32 = 33u32;