Constant sel4_sys::seL4_SlotBits

pub const seL4_SlotBits: u32 = 5;