Symbol: xen_vcpu_initialize
usr/src/uts/i86xpv/os/mp_xen.c
139
static int xen_vcpu_initialize(processorid_t, vcpu_guest_context_t *);
usr/src/uts/i86xpv/os/mp_xen.c
304
return (xen_vcpu_initialize(cp->cpu_id, vgc));