Symbol: mips64_send_ipi
sys/arch/mips64/include/cpu.h
248
void mips64_send_ipi(unsigned int, unsigned int);
sys/arch/mips64/mips64/cpu.c
413
mips64_send_ipi(ci->ci_cpuid, MIPS64_IPI_NOP);
sys/arch/mips64/mips64/db_machdep.c
201
mips64_send_ipi(get_cpu_info(i)->ci_cpuid, MIPS64_IPI_DDB);
sys/arch/mips64/mips64/db_machdep.c
609
mips64_send_ipi(cpu, MIPS64_IPI_DDB);