sel4_sys::invocation_label

Constant X86ASIDPoolAssign

Source 
pub const X86ASIDPoolAssign: u32 = 40u32;