HelenOS sources

CCSIDR_SETS       188 boot/arch/arm32/include/arch/cp15.h #define CCSIDR_SETS(val) \
CCSIDR_SETS       188 kernel/arch/arm32/include/arch/cp15.h #define CCSIDR_SETS(val) \
CCSIDR_SETS       188 uspace/lib/c/arch/arm32/include/libarch/cp15.h #define CCSIDR_SETS(val) \

HelenOS homepage, sources at GitHub