HelenOS sources

CLIDR_SEP_CACHE    76 boot/arch/arm32/src/mm.c 		case CLIDR_SEP_CACHE:
CLIDR_SEP_CACHE   261 kernel/arch/arm32/src/cpu/cpu.c 		case CLIDR_SEP_CACHE:
HelenOS homepage, sources at GitHub