i386_send_ipi      61 arch/i386/i386/db_mp.c 				i386_send_ipi(cpu_info[i], I386_IPI_DDB);
i386_send_ipi     131 arch/i386/i386/db_mp.c 		i386_send_ipi(cpu_info[cpu], I386_IPI_DDB);
i386_send_ipi      61 arch/i386/i386/mp_setperf.c 				i386_send_ipi(ci, I386_IPI_SETPERF);
i386_send_ipi     139 arch/i386/include/intr.h int i386_send_ipi(struct cpu_info *, int);
i386_send_ipi     832 arch/i386/isa/npx.c 		i386_send_ipi(oci,