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