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);