cpu_wakeup_mwait
disp_enq_thread = cpu_wakeup_mwait;
static void cpu_wakeup_mwait(cpu_t *, int);
extern void cpu_wakeup_mwait(cpu_t *, int);