HelenOS sources

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;
HelenOS homepage, sources at GitHub