HelenOS sources

CLIDR_DCACHE_ONLY  207 boot/arch/arm32/include/arch/cp15.h 	CLIDR_DCACHE_ONLY = 0x2,
CLIDR_DCACHE_ONLY  207 kernel/arch/arm32/include/arch/cp15.h 	CLIDR_DCACHE_ONLY = 0x2,
CLIDR_DCACHE_ONLY  207 uspace/lib/c/arch/arm32/include/libarch/cp15.h 	CLIDR_DCACHE_ONLY = 0x2,

HelenOS homepage, sources at GitHub