HelenOS sources

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