Index: kernel/arch/sparc64/src/sun4u/sparc64.c
===================================================================
--- kernel/arch/sparc64/src/sun4u/sparc64.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/sparc64/src/sun4u/sparc64.c	(revision 5754c31e4e22b3ba9c461583e759f5fed5d44704)
@@ -169,5 +169,6 @@
 
 	/* Not reached */
-	while (1);
+	while (1)
+		;
 }
 
@@ -175,5 +176,6 @@
 {
 	// TODO
-	while (1);
+	while (1)
+		;
 }