Symbol: IPI_TO_LPI
sys/arm64/arm64/gicv5.c
1042
irq = IPI_TO_LPI(gbi->gbi_irq, PCPU_GET(cpuid));
sys/arm64/arm64/gicv5.c
1546
irq = IPI_TO_LPI(gi->gi_isrc.gbi_irq, cpu);
sys/arm64/arm64/gicv5.c
1571
irq = IPI_TO_LPI(ipi, cpu);