Constant sel4_sys::seL4_MinSchedContextBits

pub const seL4_MinSchedContextBits: u32 = 7;