Symbol: i386_send_ipi
sys/arch/i386/i386/db_mp.c
130
i386_send_ipi(cpu_info[cpu], I386_IPI_DDB);
sys/arch/i386/i386/db_mp.c
60
i386_send_ipi(cpu_info[i], I386_IPI_DDB);
sys/arch/i386/i386/machdep.c
2566
i386_send_ipi(ci, I386_IPI_NOP);
sys/arch/i386/i386/machdep.c
2572
i386_send_ipi(ci, I386_IPI_NOP);
sys/arch/i386/i386/machdep.c
2603
i386_send_ipi(ci, I386_IPI_NOP);
sys/arch/i386/include/intr.h
138
void i386_send_ipi(struct cpu_info *, int);
sys/arch/i386/isa/npx.c
861
i386_send_ipi(oci,