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