Searched refs:xen_vcpu_down (Results 1 – 3 of 3) sorted by relevance
562 (void) xen_vcpu_down(CPU->cpu_id); in mach_cpu_halt()679 if ((error = xen_vcpu_down(cp->cpu_id)) == 0) { in poweroff_vcpu()1046 xen_vcpu_down(processorid_t id) in xen_vcpu_down() function
391 (void) xen_vcpu_down(i); in suspend_cpus()
156 extern long xen_vcpu_down(processorid_t);