Lines Matching defs:cpu_phase
132 static int cpu_phase[NCPU];
514 cpu_phase[CPU->cpu_id] = CPU_PHASE_SAFE;
515 while (cpu_phase[CPU->cpu_id] == CPU_PHASE_SAFE)
535 if (cpu_phase[CPU->cpu_id] == CPU_PHASE_WAIT_SAFE)
551 if (cpu_phase[CPU->cpu_id] == CPU_PHASE_WAIT_SAFE)
606 switch (cpu_phase[i]) {
608 cpu_phase[i] = CPU_PHASE_WAIT_SAFE;
642 switch (cpu_phase[i]) {
660 cpu_phase[i] = CPU_PHASE_NONE;
680 ASSERT(cpu_phase[cp->cpu_id] == CPU_PHASE_SAFE);
688 cpu_phase[cp->cpu_id] = CPU_PHASE_POWERED_OFF;
791 cpu_phase[cp->cpu_id] = CPU_PHASE_NONE;