thread_alloc
td2 = thread_alloc(pages);
newtd = thread_alloc(pages);
*ntd = thread_alloc(pages);
struct thread *thread_alloc(int pages);