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

/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1071 asid_pool_t *asidPool; local
1073 asidPool = armKSASIDTable[asid >> asidLowBits];
1074 assert(asidPool);
1076 vspace_root_t *vtable = asidPool->array[asid & MASK(asidLowBits)];
1084 asid_pool_t *asidPool; local
1086 asidPool = armKSASIDTable[asid >> asidLowBits];
1087 assert(asidPool);
1089 vspace_root_t *vtable = asidPool->array[asid & MASK(asidLowBits)];
1097 asid_pool_t *asidPool; local
1099 asidPool
1175 asid_pool_t *asidPool; local
1188 asid_pool_t *asidPool; local
1203 asid_pool_t *asidPool; local
[all...]
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1116 asid_pool_t *asidPool; local
1119 asidPool = armKSASIDTable[asid >> asidLowBits];
1120 assert(asidPool);
1122 pd = asidPool->array[asid & MASK(asidLowBits)];
1130 asid_pool_t *asidPool; local
1133 asidPool = armKSASIDTable[asid >> asidLowBits];
1134 assert(asidPool);
1136 pd = asidPool->array[asid & MASK(asidLowBits)];
1144 asid_pool_t *asidPool; local
1147 asidPool
[all...]

Completed in 79 milliseconds