Index: kernel/genarch/src/softint/multiplication.c
===================================================================
--- kernel/genarch/src/softint/multiplication.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/genarch/src/softint/multiplication.c	(revision e3f819f43b108ff90a50324cbced9c2b89d2171e)
@@ -54,5 +54,6 @@
  * @result
  */
-static unsigned long long mul(unsigned int a, unsigned int b) {
+static unsigned long long mul(unsigned int a, unsigned int b)
+{
 	unsigned int a1, a2, b1, b2;
 	unsigned long long t1, t2, t3;
@@ -64,7 +65,7 @@
 
 	t1 = a1 * b1;
-	t2 = a1*b2;
-	t2 += a2*b1;
-	t3 = a2*b2;
+	t2 = a1 * b2;
+	t2 += a2 * b1;
+	t3 = a2 * b2;
 
 	t3 = (((t1 << 16) + t2) << 16) + t3;
@@ -79,5 +80,5 @@
 {
 	long long result;
-	unsigned long long t1,t2;
+	unsigned long long t1, t2;
 	unsigned long long a1, a2, b1, b2;
 	char neg = 0;
@@ -101,17 +102,17 @@
 	if (SOFTINT_CHECK_OF && (a1 != 0) && (b1 != 0)) {
 		// error, overflow
-		return (neg?MIN_INT64:MAX_INT64);
+		return (neg ? MIN_INT64 : MAX_INT64);
 	}
 
 	// (if OF checked) a1 or b1 is zero => result fits in 64 bits, no need to another overflow check
-	t1 = mul(a1,b2) + mul(b1,a2);
+	t1 = mul(a1, b2) + mul(b1, a2);
 
 	if (SOFTINT_CHECK_OF && t1 > MAX_UINT32) {
 		// error, overflow
-		return (neg?MIN_INT64:MAX_INT64);
+		return (neg ? MIN_INT64 : MAX_INT64);
 	}
 
 	t1 = t1 << 32;
-	t2 = mul(a2,b2);
+	t2 = mul(a2, b2);
 	t2 += t1;
 
@@ -120,5 +121,5 @@
 	if (SOFTINT_CHECK_OF && ((t2 < t1) || (t2 & (1ull << 63)))) {
 		// error, overflow
-		return (neg?MIN_INT64:MAX_INT64);
+		return (neg ? MIN_INT64 : MAX_INT64);
 	}