Searched refs:sgi_to_ipi (Results 1 – 2 of 2) sorted by relevance
127 static u_int sgi_to_ipi[GIC_LAST_SGI - GIC_FIRST_SGI + 1]; variable582 intr_ipi_dispatch(sgi_to_ipi[gi->gi_irq]); in arm_gic_intr()1017 sgi_to_ipi[sgi_first_unused++] = ipi; in arm_gic_ipi_setup()
112 static u_int sgi_to_ipi[GIC_LAST_SGI - GIC_FIRST_SGI + 1]; variable 637 intr_ipi_dispatch(sgi_to_ipi[gi->gi_irq]); in arm_gic_v3_intr() 1205 sgi_to_ipi[sgi_first_unused++] = ipi; in gic_v3_ipi_setup()