HelenOS sources

TTBR_RGN_WBWA_CACHE  215 boot/arch/arm32/src/mm.c 	val |= TTBR_RGN_WBWA_CACHE | TTBR_C_FLAG;
TTBR_RGN_WBWA_CACHE  158 kernel/arch/arm32/include/arch/mm/page.h 	val |= TTBR_RGN_WBWA_CACHE | TTBR_C_FLAG;
HelenOS homepage, sources at GitHub