HelenOS sources

PMCR_IDCODE_MASK  564 boot/arch/arm32/include/arch/cp15.h 	PMCR_IDCODE_MASK = 0xff,
PMCR_IDCODE_MASK  564 kernel/arch/arm32/include/arch/cp15.h 	PMCR_IDCODE_MASK = 0xff,
PMCR_IDCODE_MASK  564 uspace/lib/c/arch/arm32/include/libarch/cp15.h 	PMCR_IDCODE_MASK = 0xff,

HelenOS homepage, sources at GitHub