sel4_sys

Constant seL4_SlotBits

Source 
pub const seL4_SlotBits: u32 = 4;