Index: kernel/genarch/include/softint/division.h
===================================================================
--- kernel/genarch/include/softint/division.h	(revision df955955b9f5dc0ddbde75a5a0400456454c3b8a)
+++ kernel/genarch/include/softint/division.h	(revision 5a6a42f4d0f7e33bc079117b49c6e2ad4840ea1c)
@@ -36,29 +36,19 @@
 #define KERN_DIVISION_H_
 
-/* 32bit integer division */
-int __divsi3(int a, int b);
+extern int __divsi3(int, int);
+extern long long __divdi3(long long, long long);
 
-/* 64bit integer division */
-long long __divdi3(long long a, long long b);
+extern unsigned int __udivsi3(unsigned int, unsigned int);
+extern unsigned long long __udivdi3(unsigned long long, unsigned long long);
 
-/* 32bit unsigned integer division */
-unsigned int __udivsi3(unsigned int a, unsigned int b);
+extern int __modsi3(int, int);
+extern long long __moddi3(long long, long long);
 
-/* 64bit unsigned integer division */
-unsigned long long __udivdi3(unsigned long long a, unsigned long long b);
+extern unsigned int __umodsi3(unsigned int, unsigned int);
+extern unsigned long long __umoddi3(unsigned long long, unsigned long long);
 
-/* 32bit remainder of the signed division */
-int __modsi3(int a, int b);
-
-/* 64bit remainder of the signed division */
-long long __moddi3(long long a, long long b);
-
-/* 32bit remainder of the unsigned division */
-unsigned int __umodsi3(unsigned int a, unsigned int b);
-
-/* 64bit remainder of the unsigned division */
-unsigned long long __umoddi3(unsigned long long a, unsigned long long b);
-
-unsigned long long __udivmoddi3(unsigned long long a, unsigned long long b, unsigned long long *c); 
+extern unsigned int __udivmodsi3(unsigned int, unsigned int, unsigned int *);
+extern unsigned long long __udivmoddi3(unsigned long long, unsigned long long,
+    unsigned long long *);
 
 #endif
Index: kernel/genarch/src/softint/division.c
===================================================================
--- kernel/genarch/src/softint/division.c	(revision df955955b9f5dc0ddbde75a5a0400456454c3b8a)
+++ kernel/genarch/src/softint/division.c	(revision 5a6a42f4d0f7e33bc079117b49c6e2ad4840ea1c)
@@ -35,7 +35,7 @@
 #include <genarch/softint/division.h>
 
-#define ABSVAL(x) ((x) > 0 ? (x) : -(x))
-#define SGN(x) ((x) >= 0 ? 1 : 0)
-				      
+#define ABSVAL(x)  ((x) > 0 ? (x) : -(x))
+#define SGN(x)     ((x) >= 0 ? 1 : 0)
+
 static unsigned int divandmod32(unsigned int a, unsigned int b,
     unsigned int *remainder)
@@ -56,5 +56,5 @@
 		return 0;
 	}
-
+	
 	for (; steps > 0; steps--) {
 		/* shift one bit to remainder */
@@ -68,8 +68,7 @@
 		a <<= 1;
 	}
-
+	
 	return result;
 }
-
 
 static unsigned long long divandmod64(unsigned long long a,
@@ -77,5 +76,5 @@
 {
 	unsigned long long result;
-	int steps = sizeof(unsigned long long) * 8; 
+	int steps = sizeof(unsigned long long) * 8;
 	
 	*remainder = 0;
@@ -91,5 +90,5 @@
 		return 0;
 	}
-
+	
 	for (; steps > 0; steps--) {
 		/* shift one bit to remainder */
@@ -103,31 +102,29 @@
 		a <<= 1;
 	}
-
+	
 	return result;
 }
 
 /* 32bit integer division */
-int __divsi3(int a, int b) 
-{
-	unsigned int rem;
-	int result;
-	
-	result = (int) divandmod32(ABSVAL(a), ABSVAL(b), &rem);
-
+int __divsi3(int a, int b)
+{
+	unsigned int rem;
+	int result = (int) divandmod32(ABSVAL(a), ABSVAL(b), &rem);
+	
 	if (SGN(a) == SGN(b))
 		return result;
+	
 	return -result;
 }
 
 /* 64bit integer division */
-long long __divdi3(long long a, long long b) 
-{
-	unsigned long long rem;
-	long long result;
-	
-	result = (long long) divandmod64(ABSVAL(a), ABSVAL(b), &rem);
-
+long long __divdi3(long long a, long long b)
+{
+	unsigned long long rem;
+	long long result = (long long) divandmod64(ABSVAL(a), ABSVAL(b), &rem);
+	
 	if (SGN(a) == SGN(b))
 		return result;
+	
 	return -result;
 }
@@ -143,5 +140,5 @@
 unsigned long long __udivdi3(unsigned long long a, unsigned long long b)
 {
-	unsigned long long  rem;
+	unsigned long long rem;
 	return divandmod64(a, b, &rem);
 }
@@ -154,7 +151,6 @@
 	
 	/* if divident is negative, remainder must be too */
-	if (!(SGN(a))) {
+	if (!(SGN(a)))
 		return -((int) rem);
-	}
 	
 	return (int) rem;
@@ -162,5 +158,5 @@
 
 /* 64bit remainder of the signed division */
-long long __moddi3(long long a,long  long b)
+long long __moddi3(long long a, long long b)
 {
 	unsigned long long rem;
@@ -168,7 +164,6 @@
 	
 	/* if divident is negative, remainder must be too */
-	if (!(SGN(a))) {
+	if (!(SGN(a)))
 		return -((long long) rem);
-	}
 	
 	return (long long) rem;
@@ -191,4 +186,10 @@
 }
 
+unsigned int __udivmodsi3(unsigned int a, unsigned int b,
+    unsigned int *c)
+{
+	return divandmod32(a, b, c);
+}
+
 unsigned long long __udivmoddi3(unsigned long long a, unsigned long long b,
     unsigned long long *c)