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