HelenOS sources

MIDR_PART_NUMBER_SHIFT   67 boot/arch/arm32/include/arch/cp15.h 	MIDR_PART_NUMBER_SHIFT = 4,
MIDR_PART_NUMBER_SHIFT   67 kernel/arch/arm32/include/arch/cp15.h 	MIDR_PART_NUMBER_SHIFT = 4,
MIDR_PART_NUMBER_SHIFT   67 uspace/lib/c/arch/arm32/include/libarch/cp15.h 	MIDR_PART_NUMBER_SHIFT = 4,
HelenOS homepage, sources at GitHub