Symbol: its_get_devid
sys/arm64/arm64/gicv3_its.c
1540
its_dev->devid = its_get_devid(child);
sys/arm64/arm64/gicv5_its.c
490
its_dev->devid = its_get_devid(child);