Constant seL4_MinSchedContextBits 

pub const seL4_MinSchedContextBits: u32 = 7;