Symbol: gicv5_eoi
sys/arm64/arm64/gicv5.c
1348
gicv5_eoi(gbi);
sys/arm64/arm64/gicv5.c
1367
gicv5_eoi(gbi);
sys/arm64/arm64/gicv5.c
906
gicv5_eoi(&gi->gi_isrc);
sys/arm64/arm64/gicv5.c
937
gicv5_eoi(&gi->gi_isrc);