Searched refs:xen_vcpu_up (Results 1 – 4 of 4) sorted by relevance
780 if ((error = xen_vcpu_up(cp->cpu_id)) == 0) { in poweron_vcpu()789 (void) xen_vcpu_up(cp->cpu_id); in poweron_vcpu()1013 xen_vcpu_up(processorid_t id) in xen_vcpu_up() function
410 (void) xen_vcpu_up(i); in resume_cpus()
155 extern long xen_vcpu_up(processorid_t);
446 if ((ret = xen_vcpu_up(id)) == 0) in xen_psm_cpu_start()