Constant ASID_POOL

pub const ASID_POOL: Slot<AsidPool>;

Corresponds to seL4_CapInitThreadASIDPool.