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