Symbol: its_device_release
sys/arm64/arm64/gicv3_its.c
1754
its_device_release(dev, its_dev);
sys/arm64/arm64/gicv3_its.c
1822
its_device_release(dev, its_dev);