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