Symbol: m88k_broadcast_ipi
sys/arch/m88k/include/cpu.h
220
void m88k_broadcast_ipi(int);
sys/arch/m88k/m88k/db_interface.c
391
m88k_broadcast_ipi(CI_IPI_DDB); /* pause other processors */