Constant sel4::init_thread::slot::ASID_POOL

source · 
pub const ASID_POOL: Slot<AsidPool>;