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 d2c8533502ff5b2f8ab86192d66ca356e4b9a813)
@@ -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