Index: uspace/lib/softfloat/common.h
===================================================================
--- uspace/lib/softfloat/common.h	(revision 4a5ae542f43adbdc517ee90ece18b4376dc08468)
+++ uspace/lib/softfloat/common.h	(revision 1e3375ba536b2e46b62f2b38cc6c096253dc0b18)
@@ -37,5 +37,5 @@
 #define __COMMON_H__
 
-#include <mathtypes.h>
+#include "sftypes.h"
 
 extern float64 finish_float64(int32_t, uint64_t, char);
@@ -53,10 +53,7 @@
 extern void rshift128(uint64_t, uint64_t, int, uint64_t *, uint64_t *);
 
-extern void and128(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t *,
-    uint64_t *);
-extern void or128(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t *,
-    uint64_t *);
-extern void xor128(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t *,
-    uint64_t *);
+extern void and128(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t *, uint64_t *);
+extern void or128(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t *, uint64_t *);
+extern void xor128(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t *, uint64_t *);
 extern void not128(uint64_t, uint64_t, uint64_t *, uint64_t *);
 
@@ -65,8 +62,6 @@
 extern int lt128(uint64_t, uint64_t, uint64_t, uint64_t);
 
-extern void add128(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t *,
-    uint64_t *);
-extern void sub128(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t *,
-    uint64_t *);
+extern void add128(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t *, uint64_t *);
+extern void sub128(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t *, uint64_t *);
 
 extern void mul64(uint64_t, uint64_t, uint64_t *, uint64_t *);