HelenOS sources

MAIR_EL1_NORMAL_MEMORY_INDEX  313 kernel/arch/arm64/include/arch/mm/page.h 	int cacheable = (p->attr_index == MAIR_EL1_NORMAL_MEMORY_INDEX);
MAIR_EL1_NORMAL_MEMORY_INDEX  354 kernel/arch/arm64/include/arch/mm/page.h 		p->attr_index = MAIR_EL1_NORMAL_MEMORY_INDEX;