Constant sel4_sys::invocation_label::SchedContextConsumed

pub const SchedContextConsumed: u32 = 34u32;