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