HelenOS sources

cpu_init          128 kernel/generic/include/cpu.h extern void cpu_init(void);
cpu_init          242 kernel/generic/src/main/main.c 	cpu_init();
cpu_init          330 kernel/generic/src/main/main.c 	cpu_init();