Searched refs:xen_vcpu_initialize (Results 1 – 1 of 1) sorted by relevance
135 static int xen_vcpu_initialize(processorid_t, vcpu_guest_context_t *);320 return (xen_vcpu_initialize(cp->cpu_id, vgc)); in mp_set_cpu_context()958 xen_vcpu_initialize(processorid_t id, vcpu_guest_context_t *vgc) in xen_vcpu_initialize() function