cpuid_mwait_alloc
CPU->cpu_m.mcpu_mwait = cpuid_mwait_alloc(CPU);
cp->cpu_m.mcpu_mwait = cpuid_mwait_alloc(cp);
extern uint32_t *cpuid_mwait_alloc(struct cpu *);