Index: softfloat/include/mul.h
===================================================================
--- softfloat/include/mul.h	(revision a96c570080a40421b42a4256974140cf8d4119be)
+++ softfloat/include/mul.h	(revision b7e65d4a00b31b5bc17e54551c9d99653b2999f9)
@@ -32,4 +32,8 @@
 float32 mulFloat32(float32 a, float32 b);
 
+float64 mulFloat64(float64 a, float64 b);
+
+void mul64integers(__u64 a,__u64 b, __u64 *lo, __u64 *hi);
+
 #endif