FreeBSD/sys/arm/arm/machdep_intr.c
/*
 *  Send IPI thru interrupt controller.
 */
Send IPI thru interrupt controller.
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);
}
static void pic_ipi_send ( void * arg , cpuset_t cpus , u_int ipi ) { KASSERT ( intr_irq_root_dev != NULL , ( " " , __func__ ) ) ; PIC_IPI_SEND ( intr_irq_root_dev , arg , cpus , ipi ) ; }
Send IPI thru interrupt controller.
Send IPI thru interrupt controller .