cpu_thread_alloc
cpu_thread_alloc(&thread0);
cpu_thread_alloc(td);
void cpu_thread_alloc(struct thread *);