intr_ipi_send
intr_ipi_send(ci->ci_kcpuset, IPI_KPREEMPT);
intr_ipi_send(ci->ci_kcpuset, IPI_AST);
intr_ipi_send(l->l_cpu->ci_kcpuset, IPI_AST);
intr_ipi_send(ci != NULL ? ci->ci_kcpuset : NULL, IPI_XCALL);
intr_ipi_send(ci != NULL ? ci->ci_kcpuset : NULL, IPI_GENERIC);
intr_ipi_send(NULL, IPI_DDB);
intr_ipi_send(ci->ci_kcpuset, IPI_NOP);
intr_ipi_send(ci->ci_kcpuset, IPI_KPREEMPT);
intr_ipi_send(ci->ci_kcpuset, IPI_AST);
intr_ipi_send(l->l_cpu->ci_kcpuset, IPI_AST);
intr_ipi_send(ci != NULL ? ci->ci_kcpuset : NULL, IPI_XCALL);
intr_ipi_send(ci != NULL ? ci->ci_kcpuset : NULL, IPI_GENERIC);
intr_ipi_send(NULL, IPI_DDB);
void intr_ipi_send(const kcpuset_t *, u_long ipi);