PAUSE_IDLE
safe_list[i] = PAUSE_IDLE;
safe_list[i] = PAUSE_IDLE;
ASSERT(safe_list[cpun] == PAUSE_IDLE);
ASSERT(safe_list[cpun] == PAUSE_IDLE);
safe_list[cpun] = PAUSE_IDLE;
while (*safe != PAUSE_IDLE)
while (*safe != PAUSE_IDLE) {
while (*safe != PAUSE_IDLE)