Index: kernel/genarch/src/softint/division.c
===================================================================
--- kernel/genarch/src/softint/division.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/genarch/src/softint/division.c	(revision 54e4479f46415540ebc300de736a40054d783148)
@@ -35,8 +35,9 @@
 #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)
+static unsigned int divandmod32(unsigned int a, unsigned int b,
+    unsigned int *remainder)
 {
 	unsigned int result;
@@ -51,17 +52,17 @@
 	}
 	
-	if ( a < b) {
+	if (a < b) {
 		*remainder = a;
 		return 0;
 	}
 
-	for ( ; steps > 0; steps--) {
+	for (; steps > 0; steps--) {
 		/* shift one bit to remainder */
-		*remainder = ( (*remainder) << 1) | (( a >> 31) & 0x1);
+		*remainder = ((*remainder) << 1) | (( a >> 31) & 0x1);
 		result <<= 1;
 		
 		if (*remainder >= b) {
-				*remainder -= b;
-				result |= 0x1;
+			*remainder -= b;
+			result |= 0x1;
 		}
 		a <<= 1;
@@ -72,5 +73,6 @@
 
 
-static unsigned long long divandmod64(unsigned long long a, unsigned long long b, unsigned long long *remainder)
+static unsigned long long divandmod64(unsigned long long a,
+    unsigned long long b, unsigned long long *remainder)
 {
 	unsigned long long result;
@@ -85,17 +87,17 @@
 	}
 	
-	if ( a < b) {
+	if (a < b) {
 		*remainder = a;
 		return 0;
 	}
 
-	for ( ; steps > 0; steps--) {
+	for (; steps > 0; steps--) {
 		/* shift one bit to remainder */
-		*remainder = ( (*remainder) << 1) | ((a >> 63) & 0x1);
+		*remainder = ((*remainder) << 1) | ((a >> 63) & 0x1);
 		result <<= 1;
 		
 		if (*remainder >= b) {
-				*remainder -= b;
-				result |= 0x1;
+			*remainder -= b;
+			result |= 0x1;
 		}
 		a <<= 1;
@@ -111,7 +113,8 @@
 	int result;
 	
-	result = (int)divandmod32(ABSVAL(a), ABSVAL(b), &rem);
-
-	if ( SGN(a) == SGN(b)) return result;
+	result = (int) divandmod32(ABSVAL(a), ABSVAL(b), &rem);
+
+	if (SGN(a) == SGN(b))
+		return result;
 	return -result;
 }
@@ -123,7 +126,8 @@
 	long long result;
 	
-	result = (long long)divandmod64(ABSVAL(a), ABSVAL(b), &rem);
-
-	if ( SGN(a) == SGN(b)) return result;
+	result = (long long) divandmod64(ABSVAL(a), ABSVAL(b), &rem);
+
+	if (SGN(a) == SGN(b))
+		return result;
 	return -result;
 }
@@ -151,8 +155,8 @@
 	/* if divident is negative, remainder must be too */
 	if (!(SGN(a))) {
-		return -((int)rem);
-	}
-	
-	return (int)rem;
+		return -((int) rem);
+	}
+	
+	return (int) rem;
 }
 
@@ -165,8 +169,8 @@
 	/* if divident is negative, remainder must be too */
 	if (!(SGN(a))) {
-		return -((long long)rem);
-	}
-	
-	return (long long)rem;
+		return -((long long) rem);
+	}
+	
+	return (long long) rem;
 }
 
@@ -187,5 +191,6 @@
 }
 
-unsigned long long __udivmoddi3(unsigned long long a, unsigned long long b, unsigned long long *c)
+unsigned long long __udivmoddi3(unsigned long long a, unsigned long long b,
+    unsigned long long *c)
 {
 	return divandmod64(a, b, c);
