CPU_PHASE_SAFE
cpu_phase[CPU->cpu_id] = CPU_PHASE_SAFE;
while (cpu_phase[CPU->cpu_id] == CPU_PHASE_SAFE)
case CPU_PHASE_SAFE:
case CPU_PHASE_SAFE:
ASSERT(cpu_phase[cp->cpu_id] == CPU_PHASE_SAFE);