Symbol: m88k_send_ipi
sys/arch/luna88k/luna88k/machdep.c
1293
m88k_send_ipi(ipi, ci->ci_cpuid);
sys/arch/m88k/include/cpu.h
219
void m88k_send_ipi(int, cpuid_t);
sys/arch/m88k/m88k/m88k_machdep.c
293
m88k_send_ipi(CI_IPI_NOTIFY, ci->ci_cpuid);