Index: uspace/lib/softfloat/include/softfloat.h
===================================================================
--- uspace/lib/softfloat/include/softfloat.h	(revision 88d5c1e6424b67927054885d0617e23ecbc654c5)
+++ uspace/lib/softfloat/include/softfloat.h	(revision 20dccf3f4f41fb6f49fd3071c60e29e100cdae1d)
@@ -173,5 +173,4 @@
 
 /* SPARC quadruple-precision wrappers */
-
 extern void _Qp_add(long double *, long double *, long double *);
 extern void _Qp_sub(long double *, long double *, long double *);
@@ -204,4 +203,19 @@
 extern int _Qp_fne(long double *, long double *);
 
+/* ARM EABI */
+extern double __aeabi_i2d(int);
+extern double __aeabi_ui2d(unsigned int);
+extern unsigned int __aeabi_d2uiz(double);
+extern int __aeabi_d2iz(double);
+
+extern int __aeabi_dcmpge(double, double);
+extern int __aeabi_dcmpgt(double, double);
+extern int __aeabi_dcmplt(double, double);
+
+extern double __aeabi_dadd(double, double);
+extern double __aeabi_dsub(double, double);
+extern double __aeabi_dmul(double, double);
+extern double __aeabi_ddiv(double, double);
+
 /* Not implemented yet */
 extern void _Qp_sqrt(long double *, long double *);