HelenOS sources

CP15_C7_MVA_ALIGN   68 boot/arch/arm32/src/main.c 	for (uintptr_t a = ALIGN_DOWN(addr, CP15_C7_MVA_ALIGN); a < addr + size;
CP15_C7_MVA_ALIGN   69 boot/arch/arm32/src/main.c 	    a += CP15_C7_MVA_ALIGN) {
CP15_C7_MVA_ALIGN   55 kernel/arch/arm32/src/smc.c 	uintptr_t begin = ALIGN_DOWN((uintptr_t) a, CP15_C7_MVA_ALIGN);
CP15_C7_MVA_ALIGN   57 kernel/arch/arm32/src/smc.c 	for (uintptr_t addr = begin; addr < end; addr += CP15_C7_MVA_ALIGN) {