HelenOS sources

CLIDR_DCACHE_ONLY   75 boot/arch/arm32/src/mm.c 		case CLIDR_DCACHE_ONLY:
CLIDR_DCACHE_ONLY  260 kernel/arch/arm32/src/cpu/cpu.c 		case CLIDR_DCACHE_ONLY:
HelenOS homepage, sources at GitHub