find_its_device 225 virt/kvm/arm/vgic/vgic-its.c device = find_its_device(its, device_id); find_its_device 1052 virt/kvm/arm/vgic/vgic-its.c device = find_its_device(its, device_id); find_its_device 1177 virt/kvm/arm/vgic/vgic-its.c device = find_its_device(its, device_id);