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