HelenOS sources

cpu_arch_init     131 kernel/generic/include/cpu.h extern void cpu_arch_init(void);
cpu_arch_init     112 kernel/generic/src/cpu/cpu.c 	cpu_arch_init();