sel4_sys::invocation_label

Constant SchedContextUnbindObject

Source
pub const SchedContextUnbindObject: u32 = 33u32;