sel4_sys::invocation_label

Constant SchedContextUnbindObject

Source 
pub const SchedContextUnbindObject: u32 = 33u32;