c_vcpu            889 virt/kvm/arm/vgic/vgic-mmio-v3.c 	struct kvm_vcpu *c_vcpu;
c_vcpu            910 virt/kvm/arm/vgic/vgic-mmio-v3.c 	kvm_for_each_vcpu(c, c_vcpu, kvm) {
c_vcpu            924 virt/kvm/arm/vgic/vgic-mmio-v3.c 			level0 = match_mpidr(mpidr, target_cpus, c_vcpu);
c_vcpu            932 virt/kvm/arm/vgic/vgic-mmio-v3.c 		irq = vgic_get_irq(vcpu->kvm, c_vcpu, sgi);