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