Symbol: its_device_find_locked
sys/arm64/arm64/gicv5_its.c
416
its_dev = its_device_find_locked(dev_list, child);
sys/arm64/arm64/gicv5_its.c
517
tmp_dev = its_device_find_locked(dev_list, child);