Ejemplos de PIC_IPI_SEND en C++ (Cpp)

Ejemplo n.º 1

Archivo: machdep_intr.c Proyecto: 2asoft/freebsd

/*
 *  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);
}

Ejemplo n.º 2

/*
 *  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);
}