Lines Matching refs:asid_pool_t
548 asid_pool_t *ap = ASID_POOL_PTR(pptr_of_cap(it_ap_cap));
562 asid_pool_t *poolPtr;
1071 asid_pool_t *asidPool;
1084 asid_pool_t *asidPool;
1097 asid_pool_t *asidPool;
1175 asid_pool_t *asidPool;
1188 asid_pool_t *asidPool;
1203 asid_pool_t *asidPool;
1398 asid_pool_t *poolPtr;
1412 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool)
1684 armKSASIDTable[asid_base >> asidLowBits] = (asid_pool_t *)frame;
2369 asid_pool_t *pool;