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