Searched refs:intr_ipi_dispatch (Results 1 – 7 of 7) sorted by relevance
166 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()
551 intr_ipi_dispatch(ipi); in apple_aic_ipi_received()
582 intr_ipi_dispatch(sgi_to_ipi[gi->gi_irq]); in arm_gic_intr()
637 intr_ipi_dispatch(sgi_to_ipi[gi->gi_irq]); in arm_gic_v3_intr()
1934 intr_ipi_dispatch(u_int ipi) function