HelenOS sources

CCSIDR_SETS        55 boot/arch/arm32/src/mm.c 	const unsigned sets = CCSIDR_SETS(ccsidr);
CCSIDR_SETS       247 kernel/arch/arm32/src/cpu/cpu.c 	return CCSIDR_SETS(ccsidr);