../../../ia32/src/smp/mps.c