Index: kernel/arch/sparc64/src/proc/scheduler.c
===================================================================
--- kernel/arch/sparc64/src/proc/scheduler.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/arch/sparc64/src/proc/scheduler.c	(revision b8f11baa46965e8fdd2b64a92dc659e89c8b5243)
@@ -63,7 +63,6 @@
 		 *   before it explicitly uses %g7.
 		 */
-		uint64_t sp = (uintptr_t) THREAD->kstack + STACK_SIZE
-			- (STACK_BIAS + ALIGN_UP(STACK_ITEM_SIZE,
-			STACK_ALIGNMENT));
+		uint64_t sp = (uintptr_t) THREAD->kstack + STACK_SIZE -
+		    (STACK_BIAS + ALIGN_UP(STACK_ITEM_SIZE, STACK_ALIGNMENT));
 		write_to_ig_g6(sp);
 		write_to_ag_g6(sp);
Index: kernel/arch/sparc64/src/proc/thread.c
===================================================================
--- kernel/arch/sparc64/src/proc/thread.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/arch/sparc64/src/proc/thread.c	(revision b8f11baa46965e8fdd2b64a92dc659e89c8b5243)
@@ -56,5 +56,5 @@
 		 */
 		frame_free(KA2PA(ALIGN_DOWN((uintptr_t)
-			t->arch.uspace_window_buffer, PAGE_SIZE)));
+		    t->arch.uspace_window_buffer, PAGE_SIZE)));
 	}
 }
@@ -76,6 +76,6 @@
 		 * belonging to a killed thread.
 		 */
-		 t->arch.uspace_window_buffer = (uint8_t *) ALIGN_DOWN(uw_buf,
-			PAGE_SIZE);
+		t->arch.uspace_window_buffer = (uint8_t *) ALIGN_DOWN(uw_buf,
+		    PAGE_SIZE);
 	}
 }