Constant sel4_sys::seL4_TCBBits

source · 
pub const seL4_TCBBits: u32 = 11;