Index: include/fpu_context.h
===================================================================
--- include/fpu_context.h	(revision 0c47db1790819c45bc70d5e7cfa28edd765464aa)
+++ include/fpu_context.h	(revision 00a44bcdbac2f97f6c5a0ff1720644725999356e)
@@ -5,10 +5,10 @@
 
 #include <arch/fpu_context.h>
+#include <typedefs.h>
 
-
-extern void fpu_context_save(void);
-extern void fpu_context_restore(void);
-extern void fpu_lazy_context_save(void);
-extern void fpu_lazy_context_restore(void);
+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 *);