Index: include/fpu_context.h
===================================================================
--- include/fpu_context.h	(revision 0c47db1790819c45bc70d5e7cfa28edd765464aa)
+++ include/fpu_context.h	(revision 27dc170d4c2e2260fb8798d8d1ee4d13d15e345e)
@@ -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 *);