Searched refs:c_vcpu (Results 1 – 1 of 1) sorted by relevance
1065 struct kvm_vcpu *c_vcpu; in vgic_v3_dispatch_sgi() local1086 kvm_for_each_vcpu(c, c_vcpu, kvm) { in vgic_v3_dispatch_sgi()1100 level0 = match_mpidr(mpidr, target_cpus, c_vcpu); in vgic_v3_dispatch_sgi()1108 irq = vgic_get_irq(vcpu->kvm, c_vcpu, sgi); in vgic_v3_dispatch_sgi()