Searched refs:ASID_POOL_READ_SIZE (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/
H A Dcapdl.c27 #define ASID_POOL_READ_SIZE BIT(ASID_POOL_INDEX_BITS) macro
185 for (i = 0; i < ASID_POOL_READ_SIZE; i++) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dcapdl.c25 #define ASID_POOL_READ_SIZE BIT(ASID_POOL_INDEX_BITS) macro
161 for (i = 0; i < ASID_POOL_READ_SIZE; i++) {

Completed in 39 milliseconds