generic_enq_thread
static void generic_enq_thread(cpu_t *, int);
void (*disp_enq_thread)(cpu_t *, int) = generic_enq_thread;