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

/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1162 word_t hw_asid_offset; local
1166 for (hw_asid_offset = 0;
1167 hw_asid_offset <= (word_t)((hw_asid_t) - 1);
1168 hw_asid_offset ++) {
1169 hw_asid = armKSNextASID + ((hw_asid_t)hw_asid_offset);
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1114 word_t hw_asid_offset; local
1118 for (hw_asid_offset = 0;
1119 hw_asid_offset <= (word_t)((hw_asid_t) - 1);
1120 hw_asid_offset++) {
1121 hw_asid = armKSNextASID + ((hw_asid_t)hw_asid_offset);

Completed in 33 milliseconds