Index: kernel/genarch/src/softint/division.c
===================================================================
--- kernel/genarch/src/softint/division.c	(revision c7afcba76e708cf38d10579d974d0c53a673c609)
+++ kernel/genarch/src/softint/division.c	(revision 81dd2edaddd4f5ceb84c52eabccc844c4c1a5661)
@@ -226,4 +226,12 @@
 }
 
+unsigned long long __udivmoddi4(unsigned long long a, unsigned long long b,
+    unsigned long long *c)
+{
+	return divandmod64(a, b, c);
+}
+
+
+
 /** @}
  */