Lines Matching defs:ipi
332 bcm_lintc_ipi_write(struct bcm_lintc_softc *sc, cpuset_t cpus, u_int ipi)
337 mask = 1 << ipi;
348 u_int ipi;
353 device_printf(sc->bls_dev, "Spurious ipi detected\n");
357 for (ipi = 0; mask != 0; mask >>= 1, ipi++) {
364 bcm_lintc_write_4(sc, BCM_LINTC_MBOX0_CLR_REG(cpu), 1 << ipi);
370 intr_ipi_dispatch(ipi, tf);
564 u_int ipi)
570 bcm_lintc_ipi_write(sc, cpus, ipi);
574 bcm_lintc_ipi_setup(device_t dev, u_int ipi, struct intr_irqsrc **isrcp)
578 KASSERT(ipi < BCM_LINTC_NIPIS, ("%s: too high ipi %u", __func__, ipi));