Index: include/fpu_context.h
===================================================================
--- include/fpu_context.h	(revision 6ba143dce31ac1490fdc2b36456012f4baadf10c)
+++ include/fpu_context.h	(revision 6a27d63e7b18736b0881629dbb6394d379111ab4)
@@ -11,5 +11,5 @@
 extern void fpu_lazy_context_save(fpu_context_t *);
 extern void fpu_lazy_context_restore(fpu_context_t *);
-
+extern void fpu_init(void);
 
 
Index: include/proc/thread.h
===================================================================
--- include/proc/thread.h	(revision 6ba143dce31ac1490fdc2b36456012f4baadf10c)
+++ include/proc/thread.h	(revision 6a27d63e7b18736b0881629dbb6394d379111ab4)
@@ -75,4 +75,7 @@
 	context_t sleep_timeout_context;
 	fpu_context_t saved_fpu_context;	               
+	int fpu_context_exists;	               
+	int fpu_context_engaged;               /* Defined only if thread doesn't run. It means that fpu context is in CPU 
+						that last time executes this thread. This disables migration */