cpu_idle
pc = (uintfptr_t)&cpu_idle;
cpu_idle(0);
cpu_idle(stat->idlecalls + stat->oldidlecalls > 64);
cpu_idle(switchcnt * 4 > sched_idlespinthresh);
void cpu_idle(int);