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

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/model/
H A Dstatedata.h38 extern asid_t armKSHWASIDTable[BIT(hwASIDBits)] VISIBLE;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/model/
H A Dstatedata.c39 asid_t armKSHWASIDTable[BIT(hwASIDBits)]; variable
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h24 extern asid_t armKSHWASIDTable[BIT(hwASIDBits)] VISIBLE;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/model/
H A Dstatedata.c31 asid_t armKSHWASIDTable[BIT(hwASIDBits)]; variable
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1215 armKSHWASIDTable[hw_asid] = asid;
1229 if (armKSHWASIDTable[hw_asid] == asidInvalid) {
1237 invalidateASID(armKSHWASIDTable[hw_asid]);
1241 armKSHWASIDTable[hw_asid] = asidInvalid;
1273 armKSHWASIDTable[pde_pde_invalid_get_stored_hw_asid(stored_hw_asid)] =
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1182 armKSHWASIDTable[hw_asid] = asid;
1196 if (armKSHWASIDTable[hw_asid] == asidInvalid) {
1204 invalidateASID(armKSHWASIDTable[hw_asid]);
1208 armKSHWASIDTable[hw_asid] = asidInvalid;
1241 armKSHWASIDTable[hw_asid] =

Completed in 88 milliseconds