Searched refs:vcpu_init (Results 1 – 4 of 4) sorted by relevance
139 int (*vcpu_init)(struct vcpu *v); member
722 .vcpu_init = vgic_v2_vcpu_init,
208 v->domain->arch.vgic.handler->vcpu_init(v); in vcpu_vgic_init()
1793 .vcpu_init = vgic_v3_vcpu_init,
Completed in 8 milliseconds