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

/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c38 #define SECTIONS_PER_SUPER_SECTION BIT(ARMSuperSectionBits - ARMSectionBits) macro
209 while (idx < BIT(PD_INDEX_BITS) - SECTIONS_PER_SUPER_SECTION) {
226 for (idx2 = idx; idx2 < idx + SECTIONS_PER_SUPER_SECTION; idx2++) {
230 idx += SECTIONS_PER_SUPER_SECTION;
1493 for (i = 0; i < SECTIONS_PER_SUPER_SECTION; i++) {
1496 cleanCacheRange_PoU((word_t)&pd[0], LAST_BYTE_PDE(pd, SECTIONS_PER_SUPER_SECTION),
1755 ret.pde_entries.length = SECTIONS_PER_SUPER_SECTION;
1764 for (i = 0; i < SECTIONS_PER_SUPER_SECTION; i++) {

Completed in 77 milliseconds