tmp_vcpu          301 virt/kvm/arm/vgic/vgic-kvm-device.c 	struct kvm_vcpu *tmp_vcpu;
tmp_vcpu          304 virt/kvm/arm/vgic/vgic-kvm-device.c 		tmp_vcpu = kvm_get_vcpu(kvm, vcpu_lock_idx);
tmp_vcpu          305 virt/kvm/arm/vgic/vgic-kvm-device.c 		mutex_unlock(&tmp_vcpu->mutex);
tmp_vcpu          317 virt/kvm/arm/vgic/vgic-kvm-device.c 	struct kvm_vcpu *tmp_vcpu;
tmp_vcpu          326 virt/kvm/arm/vgic/vgic-kvm-device.c 	kvm_for_each_vcpu(c, tmp_vcpu, kvm) {
tmp_vcpu          327 virt/kvm/arm/vgic/vgic-kvm-device.c 		if (!mutex_trylock(&tmp_vcpu->mutex)) {