Constant sel4_sys::seL4_TCBBits

source ยท 
pub const seL4_TCBBits: u32 = 11;