Lines Matching refs:ipi
334 bcm_lintc_ipi_write(struct bcm_lintc_softc *sc, cpuset_t cpus, u_int ipi)
339 mask = 1 << ipi;
350 u_int ipi;
355 device_printf(sc->bls_dev, "Spurious ipi detected\n");
359 for (ipi = 0; mask != 0; mask >>= 1, ipi++) {
366 bcm_lintc_write_4(sc, BCM_LINTC_MBOX0_CLR_REG(cpu), 1 << ipi);
372 intr_ipi_dispatch(ipi, tf);
566 u_int ipi)
572 bcm_lintc_ipi_write(sc, cpus, ipi);
576 bcm_lintc_ipi_setup(device_t dev, u_int ipi, struct intr_irqsrc **isrcp)
580 KASSERT(ipi < BCM_LINTC_NIPIS, ("%s: too high ipi %u", __func__, ipi));