Symbol: CI_IPI_DDB
sys/arch/luna88k/luna88k/machdep.c
1252
int ipi = ci->ci_ipi & (CI_IPI_DDB | CI_IPI_NOTIFY);
sys/arch/luna88k/luna88k/machdep.c
1258
if (ipi & CI_IPI_DDB) {
sys/arch/m88k/m88k/db_interface.c
391
m88k_broadcast_ipi(CI_IPI_DDB); /* pause other processors */