Constant sel4::init_thread::slot::ASID_POOL

source ยท 
pub const ASID_POOL: Slot<AsidPool>;
Expand description

Corresponds to seL4_CapInitThreadASIDPool.