sel4_sys::invocation_label

Constant SchedContextConsumed

Source 
pub const SchedContextConsumed: u32 = 34u32;