Index: kernel/genarch/src/softint/division.c
===================================================================
--- kernel/genarch/src/softint/division.c	(revision 3113d47a3557dc9f244005663077eded040b365c)
+++ kernel/genarch/src/softint/division.c	(revision aaa77ba0f2326ec53c9ae75e8d4143dcad05a34e)
@@ -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)