cpu_idle_mwait
CPU->cpu_m.mcpu_idle_cpu = cpu_idle_mwait;
void cpu_idle_mwait(void);
extern void cpu_idle_mwait();
cp->cpu_m.mcpu_idle_cpu = cpu_idle_mwait;