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