HelenOS sources

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();