Searched defs:pool (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dvspace.c34 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool) argument
1343 asid_pool_t *pool; local
[all...]
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dvspace.c440 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool) argument
1017 asid_pool_t *pool; local
[all...]
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1327 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool) argument
2648 asid_pool_t *pool; local
[all...]
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1412 void deleteASIDPool(asid_t asid_base, asid_pool_t *pool) argument
2369 asid_pool_t *pool; local
[all...]

Completed in 68 milliseconds