target1_addr     1341 virt/kvm/arm/vgic/vgic-its.c 	u32 target1_addr = its_cmd_get_target_addr(its_cmd);
target1_addr     1348 virt/kvm/arm/vgic/vgic-its.c 	if (target1_addr >= atomic_read(&kvm->online_vcpus) ||
target1_addr     1352 virt/kvm/arm/vgic/vgic-its.c 	if (target1_addr == target2_addr)
target1_addr     1355 virt/kvm/arm/vgic/vgic-its.c 	vcpu1 = kvm_get_vcpu(kvm, target1_addr);