sel4_sys::invocation_label

Constant SchedContextConsumed

Source
pub const SchedContextConsumed: u32 = 34u32;