X-Git-Url: http://akaros.cs.berkeley.edu/gitweb/?p=akaros.git;a=blobdiff_plain;f=user%2Fvmm%2Fsched.c;h=26d5d17c38815be0998fad326d530a306b777a06;hp=1cc5b1949cd8dd5692bf80b13f538f63b8c28e95;hb=462ef04f1cc82bd27815819f8a69c3263ddae7e6;hpb=64c78fd849a5e1ddcc1ba58326806ab87c755fad

diff --git a/user/vmm/sched.c b/user/vmm/sched.c
index 1cc5b19..26d5d17 100644
--- a/user/vmm/sched.c
+++ b/user/vmm/sched.c
@@ -521,12 +521,8 @@ static struct guest_thread *create_guest_thread(struct virtual_machine *vm,
 	}
 	gth->uthread.u_ctx.type = ROS_VM_CTX;
 	gth->uthread.u_ctx.tf.vm_tf.tf_guest_pcoreid = gpcoreid;
-	/* No need to init the ctlr.  It gets re-init'd each time it starts. */
 	uthread_init((struct uthread*)gth, &gth_attr);
 	uthread_init((struct uthread*)cth, &cth_attr);
-	/* TODO: give it a correct FP state.  Our current one is probably fine */
-	restore_fp_state(&gth->uthread.as);
-	gth->uthread.flags |= UTHREAD_FPSAVED;
 	gth->halt_mtx = uth_mutex_alloc();
 	gth->halt_cv = uth_cond_var_alloc();
 	return gth;