sel4_sys::invocation_label

Constant UntypedRetype

Source 
pub const UntypedRetype: u32 = 1u32;