Searched refs:xen_vcpu_up (Results 1 – 4 of 4) sorted by relevance
750 if ((error = xen_vcpu_up(cp->cpu_id)) == 0) { in poweron_vcpu()759 (void) xen_vcpu_up(cp->cpu_id); in poweron_vcpu()984 xen_vcpu_up(processorid_t id) in xen_vcpu_up() function
401 (void) xen_vcpu_up(i); in resume_cpus()
155 extern long xen_vcpu_up(processorid_t);
447 if ((ret = xen_vcpu_up(id)) == 0) in xen_psm_cpu_start()