Searched refs:vcpu0 (Results 1 – 2 of 2) sorted by relevance
134 struct kvm_vcpu *vcpu0 = kvm_get_vcpu(kvm, 0); in kvm_vgic_dist_init() local156 irq->target_vcpu = vcpu0; in kvm_vgic_dist_init()
67 In the output above, for vcpu0, there have been 6839 dispatches since