vcpu_lock_idx 73 virt/kvm/arm/vgic/vgic-init.c int i, vcpu_lock_idx = -1, ret; vcpu_lock_idx 98 virt/kvm/arm/vgic/vgic-init.c vcpu_lock_idx = i; vcpu_lock_idx 128 virt/kvm/arm/vgic/vgic-init.c for (; vcpu_lock_idx >= 0; vcpu_lock_idx--) { vcpu_lock_idx 129 virt/kvm/arm/vgic/vgic-init.c vcpu = kvm_get_vcpu(kvm, vcpu_lock_idx); vcpu_lock_idx 299 virt/kvm/arm/vgic/vgic-kvm-device.c static void unlock_vcpus(struct kvm *kvm, int vcpu_lock_idx) vcpu_lock_idx 303 virt/kvm/arm/vgic/vgic-kvm-device.c for (; vcpu_lock_idx >= 0; vcpu_lock_idx--) { vcpu_lock_idx 304 virt/kvm/arm/vgic/vgic-kvm-device.c tmp_vcpu = kvm_get_vcpu(kvm, vcpu_lock_idx);