Symbol: its_init_cpu
sys/arm64/arm64/gicv3_its.c
1147
its_init_cpu(dev, sc);
sys/arm64/arm64/gicv3_its.c
1410
if (its_init_cpu(dev, sc) != 0)