Symbol: MIPS64_IPI_DDB
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);