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