Index: uspace/lib/softfloat/softfloat.c
===================================================================
--- uspace/lib/softfloat/softfloat.c	(revision 5f9768bba859676997f74bea3f1e9daa71156367)
+++ uspace/lib/softfloat/softfloat.c	(revision 53238ba0f652df9cecdff97e15f7dd0c64e78060)
@@ -1265,4 +1265,15 @@
 }
 
+float __aeabi_d2f(double a)
+{
+	return __truncdfsf2(a);
+}
+
+double __aeabi_f2d(float a)
+{
+	return __extendsfdf2(a);
+}
+
+
 float __aeabi_i2f(int i)
 {
Index: uspace/lib/softfloat/softfloat.h
===================================================================
--- uspace/lib/softfloat/softfloat.h	(revision 5f9768bba859676997f74bea3f1e9daa71156367)
+++ uspace/lib/softfloat/softfloat.h	(revision 53238ba0f652df9cecdff97e15f7dd0c64e78060)
@@ -204,4 +204,6 @@
 
 /* ARM EABI */
+extern float __aeabi_d2f(double);
+extern double __aeabi_f2d(float);
 extern float __aeabi_i2f(int);
 extern float __aeabi_ui2f(int);