/* * Send IPI thru interrupt controller. */ static void pic_ipi_send(void *arg, cpuset_t cpus, u_int ipi) { KASSERT(intr_irq_root_dev != NULL, ("%s: no root attached", __func__)); PIC_IPI_SEND(intr_irq_root_dev, arg, cpus, ipi); }
/* * Send IPI thru interrupt controller. */ void pic_ipi_send(cpuset_t cpus, u_int ipi) { struct intr_irqsrc *isrc; isrc = intr_ipi_lookup(ipi); KASSERT(intr_irq_root_dev != NULL, ("%s: no root attached", __func__)); PIC_IPI_SEND(intr_irq_root_dev, isrc, cpus); }