Searched refs:intr_ipi_dispatch (Results 1 – 6 of 6) sorted by relevance
163 void intr_ipi_dispatch(u_int ipi);
122 intr_ipi_dispatch(ipi); in sbi_ipi_intr()
370 intr_ipi_dispatch(ipi); in bcm_lintc_ipi_dispatch()
582 intr_ipi_dispatch(sgi_to_ipi[gi->gi_irq]); in arm_gic_intr()
633 intr_ipi_dispatch(sgi_to_ipi[gi->gi_irq]); in arm_gic_v3_intr()
1916 intr_ipi_dispatch(u_int ipi) function