mps_init 428 kernel/arch/amd64/src/smp/mps.c void mps_init(void) mps_init 428 kernel/arch/ia32/src/smp/mps.c void mps_init(void)