Home
last modified time | relevance | path

Searched refs:sgi_to_ipi (Results 1 – 2 of 2) sorted by relevance

/f-stack/freebsd/arm/arm/
H A Dgic.c122 static u_int sgi_to_ipi[GIC_LAST_SGI - GIC_FIRST_SGI + 1]; variable
563 intr_ipi_dispatch(sgi_to_ipi[gi->gi_irq], tf); in arm_gic_intr()
995 sgi_to_ipi[sgi_first_unused++] = ipi; in arm_gic_ipi_setup()
/f-stack/freebsd/arm64/arm64/
H A Dgic_v3.c106 static u_int sgi_to_ipi[GIC_LAST_SGI - GIC_FIRST_SGI + 1]; variable
495 intr_ipi_dispatch(sgi_to_ipi[gi->gi_irq], tf); in arm_gic_v3_intr()
1002 sgi_to_ipi[sgi_first_unused++] = ipi; in gic_v3_ipi_setup()