Lines Matching refs:ipi
1840 intr_ipi_lookup(u_int ipi) argument
1843 if (ipi >= INTR_IPI_COUNT)
1844 panic("%s: no such IPI %u", __func__, ipi);
1846 return (&ipi_sources[ipi]);
1871 intr_ipi_setup(u_int ipi, const char *name, intr_ipi_handler_t *hand, argument
1886 KASSERT(hand != NULL, ("%s: ipi %u no handler", __func__, ipi));
1888 error = PIC_IPI_SETUP(intr_ipi_dev, ipi, &isrc);
1894 ii = intr_ipi_lookup(ipi);
1895 KASSERT(ii->ii_count == NULL, ("%s: ipi %u reused", __func__, ipi));
1907 intr_ipi_send(cpuset_t cpus, u_int ipi) argument
1914 ii = intr_ipi_lookup(ipi);
1916 panic("%s: not setup IPI %u", __func__, ipi);
1931 PIC_IPI_SEND(intr_ipi_dev, ii->ii_isrc, cpus, ipi);
1941 intr_ipi_dispatch(u_int ipi) argument
1945 ii = intr_ipi_lookup(ipi);
1947 panic("%s: not setup IPI %u", __func__, ipi);