Searched refs:vcpu0 (Results 1 – 1 of 1) sorted by relevance
155 struct kvm_vcpu *vcpu0 = kvm_get_vcpu(kvm, 0); in kvm_vgic_dist_init() local177 irq->target_vcpu = vcpu0; in kvm_vgic_dist_init()