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