CI_IPI_NOTIFY
int ipi = ci->ci_ipi & (CI_IPI_DDB | CI_IPI_NOTIFY);
if (ipi & CI_IPI_NOTIFY) {
m88k_send_ipi(CI_IPI_NOTIFY, ci->ci_cpuid);