Index: include/fpu_context.h
===================================================================
--- include/fpu_context.h	(revision 824553ed5cc61c86404a9202494044984c500319)
+++ include/fpu_context.h	(revision b49f4ae38f84dc067e59e7ac1aaff428876a1c60)
@@ -36,7 +36,7 @@
 extern void fpu_context_save(fpu_context_t *);
 extern void fpu_context_restore(fpu_context_t *);
-extern void fpu_lazy_context_save(fpu_context_t *);
-extern void fpu_lazy_context_restore(fpu_context_t *);
 extern void fpu_init(void);
+extern void fpu_enable(void);
+extern void fpu_disable(void);
 
 
Index: include/proc/scheduler.h
===================================================================
--- include/proc/scheduler.h	(revision 824553ed5cc61c86404a9202494044984c500319)
+++ include/proc/scheduler.h	(revision b49f4ae38f84dc067e59e7ac1aaff428876a1c60)
@@ -52,4 +52,5 @@
 extern void scheduler_init(void);
 
+extern void scheduler_fpu_lazy_request(void);
 extern void scheduler(void);
 extern void kcpulb(void *arg);