thread_free
thread_free(FIRST_THREAD_IN_PROC(p));
thread_free(newtd);
void thread_free(struct thread *td);