Index: generic/include/fpu_context.h
===================================================================
--- generic/include/fpu_context.h	(revision 8f00329caf7098cf41c86ae4e096edda0a3858a9)
+++ generic/include/fpu_context.h	(revision a3eeceb63abe66d5ad2d3892d18a91ad79b185fc)
@@ -36,5 +36,5 @@
 extern void fpu_context_save(fpu_context_t *);
 extern void fpu_context_restore(fpu_context_t *);
-extern void fpu_init(void);
+extern void fpu_init(fpu_context_t *);
 extern void fpu_enable(void);
 extern void fpu_disable(void);
Index: generic/include/mm/frame.h
===================================================================
--- generic/include/mm/frame.h	(revision 8f00329caf7098cf41c86ae4e096edda0a3858a9)
+++ generic/include/mm/frame.h	(revision a3eeceb63abe66d5ad2d3892d18a91ad79b185fc)
@@ -58,11 +58,6 @@
 	__address e1 = s1+sz1;
 	__address e2 = s2+sz2;
-	if (s1 >= s2 && s1 < e2)
-		return 1;
-	if (e1 >= s2 && e1 < e2)
-		return 1;
-	if ((s1 < s2) && (e1 >= e2))
-		return 1;
-	return 0;
+
+	return s1 < e2 && s2 < e1;
 }