xen_vcpu_up
if ((ret = xen_vcpu_up(id)) == 0)
if ((error = xen_vcpu_up(cp->cpu_id)) == 0) {
(void) xen_vcpu_up(cp->cpu_id);
(void) xen_vcpu_up(i);
extern long xen_vcpu_up(processorid_t);