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

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/model/
H A Dstatedata.h39 extern hw_asid_t armKSNextASID VISIBLE;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/model/
H A Dstatedata.c40 hw_asid_t armKSNextASID; variable
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h25 extern hw_asid_t armKSNextASID VISIBLE;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/model/
H A Dstatedata.c32 hw_asid_t armKSNextASID; variable
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1228 hw_asid = armKSNextASID + ((hw_asid_t)hw_asid_offset);
1234 hw_asid = armKSNextASID;
1244 armKSNextASID++;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1195 hw_asid = armKSNextASID + ((hw_asid_t)hw_asid_offset);
1201 hw_asid = armKSNextASID;
1211 armKSNextASID++;

Completed in 39 milliseconds