Symbol: gicv5_eoi_intr
sys/arm64/arm64/gicv5.c
876
gicv5_eoi_intr(space, irq);
sys/arm64/arm64/gicv5.c
927
gicv5_eoi_intr(GICv5_LPI, irq);