TTBR_C_FLAG 215 boot/arch/arm32/src/mm.c val |= TTBR_RGN_WBWA_CACHE | TTBR_C_FLAG; TTBR_C_FLAG 158 kernel/arch/arm32/include/arch/mm/page.h val |= TTBR_RGN_WBWA_CACHE | TTBR_C_FLAG;