Index: kernel/arch/ppc32/src/mm/pht.c
===================================================================
--- kernel/arch/ppc32/src/mm/pht.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/ppc32/src/mm/pht.c	(revision f712a858b9463dae30e9eee5ef1ccc54ae618f02)
@@ -109,8 +109,8 @@
 	/* Find colliding PTE in PTEG */
 	for (i = 0; i < 8; i++) {
-		if ((phte[base + i].v)
-		    && (phte[base + i].vsid == vsid)
-		    && (phte[base + i].api == api)
-		    && (phte[base + i].h == 0)) {
+		if ((phte[base + i].v) &&
+		    (phte[base + i].vsid == vsid) &&
+		    (phte[base + i].api == api) &&
+		    (phte[base + i].h == 0)) {
 			found = true;
 			break;
@@ -134,8 +134,8 @@
 		/* Find colliding PTE in PTEG */
 		for (i = 0; i < 8; i++) {
-			if ((phte[base2 + i].v)
-			    && (phte[base2 + i].vsid == vsid)
-			    && (phte[base2 + i].api == api)
-			    && (phte[base2 + i].h == 1)) {
+			if ((phte[base2 + i].v) &&
+			    (phte[base2 + i].vsid == vsid) &&
+			    (phte[base2 + i].api == api) &&
+			    (phte[base2 + i].h == 1)) {
 				found = true;
 				base = base2;