Lines Matching refs:cpu_id
154 if (cpu == CPU->cpu_id) in vcpu_on_pcpu()
304 return (xen_vcpu_initialize(cp->cpu_id, vgc)); in mp_set_cpu_context()
333 &HYPERVISOR_shared_info->vcpu_info[cp->cpu_id]; in mach_cpucontext_alloc()
478 cpu_phase[CPU->cpu_id] = CPU_PHASE_SAFE; in enter_safe_phase()
479 while (cpu_phase[CPU->cpu_id] == CPU_PHASE_SAFE) in enter_safe_phase()
499 if (cpu_phase[CPU->cpu_id] == CPU_PHASE_WAIT_SAFE) in mach_cpu_idle()
515 if (cpu_phase[CPU->cpu_id] == CPU_PHASE_WAIT_SAFE) in mach_cpu_pause()
528 (void) xen_vcpu_down(CPU->cpu_id); in mach_cpu_halt()
641 ASSERT(CPU->cpu_id != cp->cpu_id); in poweroff_vcpu()
646 if ((error = xen_vcpu_down(cp->cpu_id)) == 0) { in poweroff_vcpu()
647 ASSERT(cpu_phase[cp->cpu_id] == CPU_PHASE_SAFE); in poweroff_vcpu()
649 CPUSET_DEL(cpu_ready_set, cp->cpu_id); in poweroff_vcpu()
658 cpu_phase[cp->cpu_id] = CPU_PHASE_POWERED_OFF; in poweroff_vcpu()
744 if (HYPERVISOR_vcpu_op(VCPUOP_is_up, cp->cpu_id, NULL) != 0) { in poweron_vcpu()
746 cp->cpu_id); in poweron_vcpu()
750 if ((error = xen_vcpu_up(cp->cpu_id)) == 0) { in poweron_vcpu()
751 CPUSET_ADD(cpu_ready_set, cp->cpu_id); in poweron_vcpu()
759 (void) xen_vcpu_up(cp->cpu_id); in poweron_vcpu()
761 cpu_phase[cp->cpu_id] = CPU_PHASE_NONE; in poweron_vcpu()