Symbol: gicv5_its_update_itt
sys/arm64/arm64/gicv5_its.c
1022
gicv5_its_update_itt(sc, its_dev, girq, event_id + i);
sys/arm64/arm64/gicv5_its.c
1087
gicv5_its_update_itt(sc, its_dev, girq, event_id);