Searched refs:armKSASIDTable (Results 1 - 6 of 6) sorted by relevance

/seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/model/
H A Dstatedata.h23 extern asid_pool_t *armKSASIDTable[BIT(asidHighBits)] VISIBLE;
/seL4-mcs-10.1.1/src/arch/arm/64/model/
H A Dstatedata.c22 asid_pool_t *armKSASIDTable[BIT(asidHighBits)]; variable
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h23 extern asid_pool_t *armKSASIDTable[BIT(asidHighBits)] VISIBLE;
/seL4-mcs-10.1.1/src/arch/arm/32/model/
H A Dstatedata.c28 asid_pool_t *armKSASIDTable[BIT(asidHighBits)]; variable
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/
H A Dvspace.c674 armKSASIDTable[IT_ASID >> asidLowBits] = ap;
686 poolPtr = armKSASIDTable[asid >> asidLowBits];
1175 asidPool = armKSASIDTable[asid >> asidLowBits];
1190 asidPool = armKSASIDTable[asid >> asidLowBits];
1205 asidPool = armKSASIDTable[asid >> asidLowBits];
1399 if (armKSASIDTable[asid_base >> asidLowBits] == pool) {
1406 armKSASIDTable[asid_base >> asidLowBits] = NULL;
1416 poolPtr = armKSASIDTable[asid >> asidLowBits];
2189 armKSASIDTable[asid_base >> asidLowBits] = (asid_pool_t *)frame;
2869 for (i = 0; i < nASIDPools && armKSASIDTable[
[all...]
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/
H A Dvspace.c593 armKSASIDTable[IT_ASID >> asidLowBits] = ap;
605 poolPtr = armKSASIDTable[asid >> asidLowBits];
1142 asidPool = armKSASIDTable[asid >> asidLowBits];
1157 asidPool = armKSASIDTable[asid >> asidLowBits];
1172 asidPool = armKSASIDTable[asid >> asidLowBits];
1415 poolPtr = armKSASIDTable[asid >> asidLowBits];
1434 if (armKSASIDTable[asid_base >> asidLowBits] == pool) {
1443 armKSASIDTable[asid_base >> asidLowBits] = NULL;
1723 armKSASIDTable[asid_base >> asidLowBits] = (asid_pool_t *)frame;
2443 for (i = 0; i < nASIDPools && armKSASIDTable[
[all...]

Completed in 37 milliseconds