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

/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c44 #define LAST_BYTE_PDE(PDE,LENGTH) ((word_t)&(PDE)[(LENGTH)-1] + (BIT(PDE_SIZE_BITS)-1)) macro
1496 cleanCacheRange_PoU((word_t)&pd[0], LAST_BYTE_PDE(pd, SECTIONS_PER_SUPER_SECTION),
1955 LAST_BYTE_PDE(pde_entries.base, pde_entries.length),

Completed in 80 milliseconds