sel4::init_thread::slot

Constant ASID_POOL

Source 
pub const ASID_POOL: Slot<AsidPool>;
Expand description

Corresponds to seL4_CapInitThreadASIDPool.