set_top_of_stack_td
set_top_of_stack_td(&thread0);
set_top_of_stack_td(td2);
set_top_of_stack_td(td);
void set_top_of_stack_td(struct thread *td);