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

/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/model/
H A Dstatedata.h34 extern hw_asid_t armKSNextASID VISIBLE;
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h20 extern hw_asid_t armKSNextASID VISIBLE;
/seL4-camkes-master/kernel/src/arch/arm/32/model/
H A Dstatedata.c28 hw_asid_t armKSNextASID; variable
/seL4-camkes-master/kernel/src/arch/arm/64/model/
H A Dstatedata.c109 hw_asid_t armKSNextASID; variable
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1169 hw_asid = armKSNextASID + ((hw_asid_t)hw_asid_offset);
1175 hw_asid = armKSNextASID;
1185 armKSNextASID++;
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1121 hw_asid = armKSNextASID + ((hw_asid_t)hw_asid_offset);
1127 hw_asid = armKSNextASID;
1137 armKSNextASID++;

Completed in 93 milliseconds