mps_init 124 kernel/arch/amd64/include/arch/smp/mps.h extern void mps_init(void); mps_init 72 kernel/arch/amd64/src/smp/smp.c mps_init(); mps_init 124 kernel/arch/ia32/include/arch/smp/mps.h extern void mps_init(void); mps_init 72 kernel/arch/ia32/src/smp/smp.c mps_init();HelenOS homepage, sources at GitHub