HelenOS sources

cpu_identify      132 kernel/generic/include/cpu.h extern void cpu_identify(void);
cpu_identify      111 kernel/generic/src/cpu/cpu.c 	cpu_identify();
HelenOS homepage, sources at GitHub