Index: kernel/genarch/include/genarch/softint/division.h
===================================================================
--- kernel/genarch/include/genarch/softint/division.h	(revision d776329b69ef4b29a8601fe5affe7faa8c58b51d)
+++ kernel/genarch/include/genarch/softint/division.h	(revision 3345b8643e43d3ed4e6235473b2897c18e8a697c)
@@ -62,4 +62,6 @@
 extern unsigned long long __udivmoddi3(unsigned long long, unsigned long long,
     unsigned long long *);
+extern unsigned long long __udivmoddi4(unsigned long long, unsigned long long,
+    unsigned long long *);
 
 #endif