Index: kernel/arch/sparc64/src/mm/sun4v/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -103,5 +103,5 @@
 	"unaligned access",
 	"invalid page size"
-	};
+};
 
 /** Array of MMU fault status areas. */
@@ -146,9 +146,9 @@
 	if (locked) {
 		__hypercall_fast4(
-			MMU_MAP_PERM_ADDR, page, 0, data.value, MMU_FLAG_DTLB);
+		    MMU_MAP_PERM_ADDR, page, 0, data.value, MMU_FLAG_DTLB);
 	} else {
 		__hypercall_hyperfast(
-			page, ASID_KERNEL, data.value, MMU_FLAG_DTLB, 0,
-			MMU_MAP_ADDR);
+		    page, ASID_KERNEL, data.value, MMU_FLAG_DTLB, 0,
+		    MMU_MAP_ADDR);
 	}
 }
@@ -180,5 +180,5 @@
 
 	__hypercall_hyperfast(
-		t->page, t->as->asid, data.value, MMU_FLAG_DTLB, 0, MMU_MAP_ADDR);
+	    t->page, t->as->asid, data.value, MMU_FLAG_DTLB, 0, MMU_MAP_ADDR);
 }
 
@@ -205,5 +205,5 @@
 
 	__hypercall_hyperfast(
-		t->page, t->as->asid, data.value, MMU_FLAG_ITLB, 0, MMU_MAP_ADDR);
+	    t->page, t->as->asid, data.value, MMU_FLAG_ITLB, 0, MMU_MAP_ADDR);
 }
 
@@ -349,5 +349,5 @@
 
 	printf("condition which caused the fault: %s\n",
-		fault_types[mmu_fsas[myid].dft]);
+	    fault_types[mmu_fsas[myid].dft]);
 }
 
@@ -356,5 +356,5 @@
 {
 	uint64_t errno =  __hypercall_fast3(MMU_DEMAP_ALL, 0, 0,
-		MMU_FLAG_DTLB | MMU_FLAG_ITLB);
+	    MMU_FLAG_DTLB | MMU_FLAG_ITLB);
 	if (errno != HV_EOK)
 		panic("Error code = %" PRIu64 ".\n", errno);
@@ -372,5 +372,5 @@
 
 	__hypercall_fast4(MMU_DEMAP_CTX, 0, 0, asid,
-		MMU_FLAG_ITLB | MMU_FLAG_DTLB);
+	    MMU_FLAG_ITLB | MMU_FLAG_DTLB);
 
 	nucleus_leave();