UntypedRetype

sel4_sys::invocation_label

Constant UntypedRetype 

Source 
pub const UntypedRetype: u32 = 1u32;