vfp_new_thread
vfp_new_thread(td2, td1, true);
vfp_new_thread(td, td0, false);
void vfp_new_thread(struct thread*, struct thread*, bool);
vfp_new_thread(td2, td1, true);
vfp_new_thread(td, td0, false);
void vfp_new_thread(struct thread *, struct thread *, bool);