Searched refs:cpu_phase (Results 1 – 1 of 1) sorted by relevance
136 static int cpu_phase[NCPU]; variable478 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()573 switch (cpu_phase[i]) { in mp_enter_barrier()575 cpu_phase[i] = CPU_PHASE_WAIT_SAFE; in mp_enter_barrier()609 switch (cpu_phase[i]) { in mp_leave_barrier()627 cpu_phase[i] = CPU_PHASE_NONE; in mp_leave_barrier()647 ASSERT(cpu_phase[cp->cpu_id] == CPU_PHASE_SAFE); in poweroff_vcpu()[all …]