Index: kernel/arch/sparc64/include/arch/atomic.h
===================================================================
--- kernel/arch/sparc64/include/arch/atomic.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/atomic.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -64,6 +64,6 @@
 
 		asm volatile (
-			"casx %0, %2, %1\n"
-			: "+m" (*((atomic_count_t *) ptr)),
+		    "casx %0, %2, %1\n"
+		    : "+m" (*((atomic_count_t *) ptr)),
 		      "+r" (b)
 		    : "r" (a)
@@ -110,6 +110,6 @@
 
 	asm volatile (
-		"casx %0, %2, %1\n"
-		: "+m" (*((atomic_count_t *) ptr)),
+	    "casx %0, %2, %1\n"
+	    : "+m" (*((atomic_count_t *) ptr)),
 	      "+r" (v)
 	    : "r" (0)
@@ -129,18 +129,18 @@
 
 	asm volatile (
-		"0:\n"
-			"casx %0, %3, %1\n"
-			"brz %1, 2f\n"
-			"nop\n"
-		"1:\n"
-			"ldx %0, %2\n"
-			"brz %2, 0b\n"
-			"nop\n"
-			"ba,a %%xcc, 1b\n"
-		"2:\n"
-		: "+m" (*((atomic_count_t *) ptr)),
-		  "+r" (tmp1),
-		  "+r" (tmp2)
-		: "r" (0)
+	    "0:\n"
+	    "casx %0, %3, %1\n"
+	    "brz %1, 2f\n"
+	    "nop\n"
+	    "1:\n"
+	    "ldx %0, %2\n"
+	    "brz %2, 0b\n"
+	    "nop\n"
+	    "ba,a %%xcc, 1b\n"
+	    "2:\n"
+	    : "+m" (*((atomic_count_t *) ptr)),
+	      "+r" (tmp1),
+	      "+r" (tmp2)
+	    : "r" (0)
 	);
 
Index: kernel/arch/sparc64/include/arch/barrier.h
===================================================================
--- kernel/arch/sparc64/include/arch/barrier.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/barrier.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -96,7 +96,7 @@
 
 	asm volatile (
-		"rd %%pc, %[pc]\n"
-		"flush %[pc]\n"
-		: [pc] "=&r" (pc)
+	    "rd %%pc, %[pc]\n"
+	    "flush %[pc]\n"
+	    : [pc] "=&r" (pc)
 	);
 }
@@ -106,5 +106,5 @@
 {
 	asm volatile (
-		"membar #Sync\n"
+	    "membar #Sync\n"
 	);
 }
Index: kernel/arch/sparc64/include/arch/cpu_family.h
===================================================================
--- kernel/arch/sparc64/include/arch/cpu_family.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/cpu_family.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -50,5 +50,5 @@
 	int impl = ((ver_reg_t) ver_read()).impl;
 	return (impl == IMPL_ULTRASPARCI) || (impl == IMPL_ULTRASPARCII) ||
-	       (impl == IMPL_ULTRASPARCII_I) ||  (impl == IMPL_ULTRASPARCII_E);
+	    (impl == IMPL_ULTRASPARCII_I) ||  (impl == IMPL_ULTRASPARCII_E);
 }
 
@@ -62,6 +62,6 @@
 	int impl = ((ver_reg_t) ver_read()).impl;
 	return (impl == IMPL_ULTRASPARCIII) ||
-	       (impl == IMPL_ULTRASPARCIII_PLUS) ||
-	       (impl == IMPL_ULTRASPARCIII_I);
+	    (impl == IMPL_ULTRASPARCIII_PLUS) ||
+	    (impl == IMPL_ULTRASPARCIII_I);
 }
 
Index: kernel/arch/sparc64/include/arch/drivers/niagara_buf.h
===================================================================
--- kernel/arch/sparc64/include/arch/drivers/niagara_buf.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/drivers/niagara_buf.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -50,5 +50,5 @@
 	uint64_t write_ptr;
 	char data[OUTPUT_BUFFER_SIZE];
-} __attribute__ ((packed)) niagara_output_buffer_t;
+} __attribute__((packed)) niagara_output_buffer_t;
 
 #define INPUT_BUFFER_SIZE  ((PAGE_SIZE) - 2 * 8)
@@ -58,5 +58,5 @@
 	uint64_t read_ptr;
 	char data[INPUT_BUFFER_SIZE];
-} __attribute__ ((packed)) niagara_input_buffer_t;
+} __attribute__((packed)) niagara_input_buffer_t;
 
 /** @}
Index: kernel/arch/sparc64/include/arch/mm/page.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/page.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/page.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -68,5 +68,5 @@
 		uint64_t vpn : 51;		/**< Virtual Page Number. */
 		unsigned offset : 13;		/**< Offset. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 } page_address_t;
 
Index: kernel/arch/sparc64/include/arch/mm/sun4u/as.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4u/as.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/sun4u/as.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -56,5 +56,5 @@
 		unsigned : 6;
 		uint64_t va_tag : 42;	/**< Virtual address bits <63:22>. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 } tsb_tag_target_t;
 
@@ -63,5 +63,5 @@
 	tsb_tag_target_t tag;
 	tte_data_t data;
-} __attribute__ ((packed)) tsb_entry_t;
+} __attribute__((packed)) tsb_entry_t;
 
 typedef struct {
Index: kernel/arch/sparc64/include/arch/mm/sun4u/frame.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4u/frame.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/sun4u/frame.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -69,5 +69,5 @@
 #endif
 		unsigned offset : 13;		/**< Offset. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 
Index: kernel/arch/sparc64/include/arch/mm/sun4u/mmu.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4u/mmu.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/sun4u/mmu.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -112,5 +112,5 @@
 		unsigned ic : 1;	/**< I-Cache enable. */
 
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 } lsu_cr_reg_t;
 #endif /* US */
Index: kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -109,5 +109,5 @@
 		unsigned long : 51;
 		unsigned context : 13;		/**< Context/ASID. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union tlb_context_reg tlb_context_reg_t;
@@ -126,5 +126,5 @@
 		unsigned tlb_entry : 6;
 		unsigned : 3;
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union tlb_data_access_addr dtlb_data_access_addr_t;
@@ -155,5 +155,5 @@
 		unsigned local_tlb_entry : 9;
 		unsigned : 3;
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union dtlb_data_access_addr dtlb_data_access_addr_t;
@@ -169,5 +169,5 @@
 		unsigned local_tlb_entry : 7;
 		unsigned : 3;
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union itlb_data_access_addr itlb_data_access_addr_t;
@@ -182,5 +182,5 @@
 		uint64_t vpn : 51;	/**< Virtual Address bits 63:13. */
 		unsigned context : 13;	/**< Context identifier. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union tlb_tag_read_reg tlb_tag_read_reg_t;
@@ -192,5 +192,5 @@
 	uint64_t value;
 	struct {
-		uint64_t vpn: 51;	/**< Virtual Address bits 63:13. */
+		uint64_t vpn : 51;	/**< Virtual Address bits 63:13. */
 #if defined (US)
 		unsigned : 6;		/**< Ignored. */
@@ -198,9 +198,9 @@
 #elif defined (US3)
 		unsigned : 5;		/**< Ignored. */
-		unsigned type: 2;	/**< The type of demap operation. */
+		unsigned type : 2;	/**< The type of demap operation. */
 #endif
 		unsigned context : 2;	/**< Context register selection. */
 		unsigned : 4;		/**< Zero. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union tlb_demap_addr tlb_demap_addr_t;
@@ -229,5 +229,5 @@
 		unsigned ow : 1;	/**< Overwrite bit. */
 		unsigned fv : 1;	/**< Fault Valid bit. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union tlb_sfsr_reg tlb_sfsr_reg_t;
@@ -436,5 +436,5 @@
  */
 NO_TRACE static inline void itlb_data_access_write(int tlb, size_t entry,
-	uint64_t value)
+    uint64_t value)
 {
 	itlb_data_access_addr_t reg;
@@ -472,5 +472,5 @@
  */
 NO_TRACE static inline void dtlb_data_access_write(int tlb, size_t entry,
-	uint64_t value)
+    uint64_t value)
 {
 	dtlb_data_access_addr_t reg;
Index: kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -75,5 +75,5 @@
 		unsigned size : 3;	/**< TSB size. Number of entries is
 					 * 512 * 2^size. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 } tsb_base_reg_t;
 
Index: kernel/arch/sparc64/include/arch/mm/sun4u/tte.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4u/tte.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/sun4u/tte.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -63,5 +63,5 @@
 		unsigned : 6;		/**< Reserved. */
 		uint64_t va_tag : 42;	/**< Virtual Address Tag, bits 63:22. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 
@@ -92,5 +92,5 @@
 		unsigned w : 1;		/**< Writable. */
 		unsigned g : 1;		/**< Global. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 
Index: kernel/arch/sparc64/include/arch/mm/sun4v/as.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4v/as.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/sun4v/as.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -63,5 +63,5 @@
 		unsigned : 6;
 		uint64_t va_tag : 42;	/**< Virtual address bits <63:22>. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 } tte_tag_t;
 
@@ -70,5 +70,5 @@
 	tte_tag_t tag;
 	tte_data_t data;
-} __attribute__ ((packed)) tsb_entry_t;
+} __attribute__((packed)) tsb_entry_t;
 
 typedef struct {
Index: kernel/arch/sparc64/include/arch/mm/sun4v/page.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4v/page.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/sun4v/page.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -60,5 +60,5 @@
 		uint64_t vpn : 51;		/**< Virtual Page Number. */
 		unsigned offset : 13;		/**< Offset. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 } page_address_t;
 
Index: kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -68,5 +68,5 @@
 	uint64_t dfc;		/**< Data fault context (DFC) */
 	uint8_t reserved2[0x28];
-} __attribute__ ((packed)) mmu_fault_status_area_t;
+} __attribute__((packed)) mmu_fault_status_area_t;
 
 #define DTLB_MAX_LOCKED_ENTRIES		8
@@ -126,5 +126,6 @@
  * @param mmu_flag	MMU_FLAG_DTLB, MMU_FLAG_ITLB or a combination of both
  */
-NO_TRACE static inline void mmu_demap_ctx(int context, int mmu_flag) {
+NO_TRACE static inline void mmu_demap_ctx(int context, int mmu_flag)
+{
 	__hypercall_fast4(MMU_DEMAP_CTX, 0, 0, context, mmu_flag);
 }
@@ -137,5 +138,6 @@
  * @param mmu_flag	MMU_FLAG_DTLB, MMU_FLAG_ITLB or a combination of both
  */
-NO_TRACE static inline void mmu_demap_page(uintptr_t vaddr, int context, int mmu_flag) {
+NO_TRACE static inline void mmu_demap_page(uintptr_t vaddr, int context, int mmu_flag)
+{
 	__hypercall_fast5(MMU_DEMAP_PAGE, 0, 0, vaddr, context, mmu_flag);
 }
Index: kernel/arch/sparc64/include/arch/mm/sun4v/tsb.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4v/tsb.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/sun4v/tsb.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -65,5 +65,5 @@
 	uint64_t tsb_base;	/**< Real address of TSB base. */
 	uint64_t reserved;
-} __attribute__ ((packed)) tsb_descr_t;
+} __attribute__((packed)) tsb_descr_t;
 
 
Index: kernel/arch/sparc64/include/arch/mm/sun4v/tte.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4v/tte.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/mm/sun4v/tte.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -69,5 +69,5 @@
 		unsigned soft2 : 2;	/**< Software defined field. */
 		unsigned size : 4;	/**< Page size. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 
Index: kernel/arch/sparc64/include/arch/register.h
===================================================================
--- kernel/arch/sparc64/include/arch/register.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/register.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -50,5 +50,5 @@
 		unsigned : 3;
 		unsigned maxwin : 5;
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union ver_reg ver_reg_t;
@@ -70,5 +70,5 @@
 		unsigned ie : 1;	/**< Interrupt Enable. */
 		unsigned ag : 1;	/**< Alternate Globals*/
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union pstate_reg pstate_reg_t;
@@ -80,5 +80,5 @@
 		unsigned npt : 1;	/**< Non-privileged Trap enable. */
 		uint64_t counter : 63;	/**< Elapsed CPU clck cycle counter. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union tick_reg tick_reg_t;
@@ -90,5 +90,5 @@
 		unsigned int_dis : 1;		/**< TICK_INT interrupt disabled flag. */
 		uint64_t tick_cmpr : 63;	/**< Compare value for TICK interrupts. */
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union tick_compare_reg tick_compare_reg_t;
@@ -102,5 +102,5 @@
 		unsigned int_level : 15;
 		unsigned tick_int : 1;
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union softint_reg softint_reg_t;
@@ -114,5 +114,5 @@
 		unsigned du : 1;
 		unsigned dl : 1;
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union fprs_reg fprs_reg_t;
Index: kernel/arch/sparc64/include/arch/sun4u/asm.h
===================================================================
--- kernel/arch/sparc64/include/arch/sun4u/asm.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/sun4u/asm.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -48,6 +48,6 @@
 
 	asm volatile (
-		"rdpr %%ver, %[v]\n"
-		: [v] "=r" (v)
+	    "rdpr %%ver, %[v]\n"
+	    : [v] "=r" (v)
 	);
 
Index: kernel/arch/sparc64/include/arch/sun4v/hypercall.h
===================================================================
--- kernel/arch/sparc64/include/arch/sun4v/hypercall.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/sun4v/hypercall.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -152,5 +152,5 @@
  */
 static inline uint64_t
-__hypercall_fast(const uint64_t p1, const uint64_t p2, const uint64_t p3,
+    __hypercall_fast(const uint64_t p1, const uint64_t p2, const uint64_t p3,
     const uint64_t p4, const uint64_t p5, const uint64_t function_number)
 {
@@ -163,9 +163,9 @@
 
 	asm volatile (
-		"ta %7\n"
-		: "=r" (a1)
-		: "r" (a1), "r" (a2), "r" (a3), "r" (a4), "r" (a5), "r" (a6),
-		  "i" (FAST_TRAP)
-		: "memory"
+	    "ta %7\n"
+	    : "=r" (a1)
+	    : "r" (a1), "r" (a2), "r" (a3), "r" (a4), "r" (a5), "r" (a6),
+	      "i" (FAST_TRAP)
+	    : "memory"
 	);
 
@@ -187,5 +187,5 @@
  */
 static inline uint64_t
-__hypercall_fast_ret1(const uint64_t p1, const uint64_t p2, const uint64_t p3,
+    __hypercall_fast_ret1(const uint64_t p1, const uint64_t p2, const uint64_t p3,
     const uint64_t p4, const uint64_t p5, const uint64_t function_number,
     uint64_t *ret1)
@@ -199,9 +199,9 @@
 
 	asm volatile (
-		"ta %8\n"
-		: "=r" (a1), "=r" (a2)
-		: "r" (a1), "r" (a2), "r" (a3), "r" (a4), "r" (a5), "r" (a6),
-		  "i" (FAST_TRAP)
-		: "memory"
+	    "ta %8\n"
+	    : "=r" (a1), "=r" (a2)
+	    : "r" (a1), "r" (a2), "r" (a3), "r" (a4), "r" (a5), "r" (a6),
+	      "i" (FAST_TRAP)
+	    : "memory"
 	);
 
@@ -223,5 +223,5 @@
  */
 static inline uint64_t
-__hypercall_hyperfast(const uint64_t p1, const uint64_t p2, const uint64_t p3,
+    __hypercall_hyperfast(const uint64_t p1, const uint64_t p2, const uint64_t p3,
     const uint64_t p4, const uint64_t p5, const uint64_t sw_trap_number)
 {
@@ -233,9 +233,9 @@
 
 	asm volatile (
-		"ta %6\n"
-		: "=r" (a1)
-		: "r" (a1), "r" (a2), "r" (a3), "r" (a4), "r" (a5),
-		  "i" (sw_trap_number)
-		: "memory"
+	    "ta %6\n"
+	    : "=r" (a1)
+	    : "r" (a1), "r" (a2), "r" (a3), "r" (a4), "r" (a5),
+	      "i" (sw_trap_number)
+	    : "memory"
 	);
 
Index: kernel/arch/sparc64/include/arch/sun4v/register.h
===================================================================
--- kernel/arch/sparc64/include/arch/sun4v/register.h	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/include/arch/sun4v/register.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -53,5 +53,5 @@
 		unsigned ie : 1;	/**< Interrupt Enable. */
 		unsigned : 1;
-	} __attribute__ ((packed));
+	} __attribute__((packed));
 };
 typedef union pstate_reg pstate_reg_t;
Index: kernel/arch/sparc64/src/cpu/sun4u/cpu.c
===================================================================
--- kernel/arch/sparc64/src/cpu/sun4u/cpu.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/cpu/sun4u/cpu.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -99,9 +99,9 @@
 			int f;
 			f = find_cpu_frequency(
-				ofw_tree_find_child(node, "cpu@0"));
+			    ofw_tree_find_child(node, "cpu@0"));
 			if (f != -1)
 				clock_frequency = (uint32_t) f;
 			f = find_cpu_frequency(
-				ofw_tree_find_child(node, "cpu@1"));
+			    ofw_tree_find_child(node, "cpu@1"));
 			if (f != -1)
 				clock_frequency = (uint32_t) f;
@@ -140,5 +140,5 @@
 		break;
 	case MANUF_SUN:
-	    	manuf = "Sun";
+		manuf = "Sun";
 		break;
 	default:
@@ -184,5 +184,5 @@
 
 	printf("cpu%d: manuf=%s, impl=%s, mask=%d (%d MHz)\n", m->id, manuf,
-		impl, m->arch.ver.mask, m->arch.clock_frequency / 1000000);
+	    impl, m->arch.ver.mask, m->arch.clock_frequency / 1000000);
 }
 
Index: kernel/arch/sparc64/src/cpu/sun4v/cpu.c
===================================================================
--- kernel/arch/sparc64/src/cpu/sun4v/cpu.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/cpu/sun4v/cpu.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -66,5 +66,5 @@
 			uint64_t clock_frequency = 0;
 			md_get_integer_property(node, "clock-frequency",
-				&clock_frequency);
+			    &clock_frequency);
 			CPU->arch.clock_frequency = clock_frequency;
 			break;
Index: kernel/arch/sparc64/src/debug/stacktrace.c
===================================================================
--- kernel/arch/sparc64/src/debug/stacktrace.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/debug/stacktrace.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -98,5 +98,5 @@
 }
 
-bool uspace_return_address_get(stack_trace_context_t *ctx , uintptr_t *ra)
+bool uspace_return_address_get(stack_trace_context_t *ctx, uintptr_t *ra)
 {
 	return false;
Index: kernel/arch/sparc64/src/drivers/niagara.c
===================================================================
--- kernel/arch/sparc64/src/drivers/niagara.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/drivers/niagara.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -82,5 +82,5 @@
  * buffer definition follows.
  */
-static volatile niagara_output_buffer_t __attribute__ ((aligned(PAGE_SIZE)))
+static volatile niagara_output_buffer_t __attribute__((aligned(PAGE_SIZE)))
     output_buffer;
 
@@ -90,5 +90,5 @@
  * Analogous to the output_buffer, see the previous definition.
  */
-static volatile niagara_input_buffer_t __attribute__ ((aligned(PAGE_SIZE)))
+static volatile niagara_input_buffer_t __attribute__((aligned(PAGE_SIZE)))
     input_buffer;
 
@@ -96,7 +96,9 @@
 
 /** Write a single character to the standard output. */
-static inline void do_putchar(const char c) {
+static inline void do_putchar(const char c)
+{
 	/* Repeat until the buffer is non-full */
-	while (__hypercall_fast1(CONS_PUTCHAR, c) == HV_EWOULDBLOCK);
+	while (__hypercall_fast1(CONS_PUTCHAR, c) == HV_EWOULDBLOCK)
+		;
 }
 
@@ -160,5 +162,6 @@
  *
  */
-static void kniagarapoll(void *arg) {
+static void kniagarapoll(void *arg)
+{
 	while (true) {
 		niagara_poll();
@@ -213,5 +216,5 @@
 	    PAGE_SIZE);
 	sysinfo_set_item_val("niagara.inbuf.datasize", NULL,
-	   INPUT_BUFFER_SIZE);
+	    INPUT_BUFFER_SIZE);
 
 	outbuf_parea.pbase = (uintptr_t) (KA2PA(&output_buffer));
Index: kernel/arch/sparc64/src/drivers/tick.c
===================================================================
--- kernel/arch/sparc64/src/drivers/tick.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/drivers/tick.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -54,5 +54,5 @@
 	compare.int_dis = false;
 	compare.tick_cmpr = tick_counter_read() +
-		CPU->arch.clock_frequency / HZ;
+	    CPU->arch.clock_frequency / HZ;
 	CPU->arch.next_tick_cmpr = compare.tick_cmpr;
 	tick_compare_write(compare.value);
Index: kernel/arch/sparc64/src/mm/sun4v/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -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();
Index: kernel/arch/sparc64/src/proc/thread.c
===================================================================
--- kernel/arch/sparc64/src/proc/thread.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/proc/thread.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -64,6 +64,5 @@
 void thread_create_arch(thread_t *t)
 {
-	if ((t->uspace) && (!t->arch.uspace_window_buffer))
-		{
+	if ((t->uspace) && (!t->arch.uspace_window_buffer)) {
 		/*
 		 * The thread needs userspace window buffer and the object
Index: kernel/arch/sparc64/src/smp/sun4u/ipi.c
===================================================================
--- kernel/arch/sparc64/src/smp/sun4u/ipi.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/smp/sun4u/ipi.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -59,5 +59,5 @@
  * @param func value the first data item of the vector will be set to
  */
-static inline void set_intr_w_data(void (* func)(void))
+static inline void set_intr_w_data(void (*func)(void))
 {
 #if defined (US)
@@ -87,5 +87,5 @@
  * @param func Function to be invoked.
  */
-static void cross_call(int mid, void (* func)(void))
+static void cross_call(int mid, void (*func)(void))
 {
 	uint64_t status;
@@ -148,5 +148,5 @@
 	unsigned int i;
 
-	void (* func)(void);
+	void (*func)(void);
 
 	switch (ipi) {
Index: kernel/arch/sparc64/src/smp/sun4u/smp.c
===================================================================
--- kernel/arch/sparc64/src/smp/sun4u/smp.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/smp/sun4u/smp.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -121,5 +121,5 @@
 		node = ofw_tree_find_child_by_device_type(cpus_parent(), "cpu");
 		for (i = 0; node;
-                     node = ofw_tree_find_peer_by_device_type(node, "cpu"), i++)
+		    node = ofw_tree_find_peer_by_device_type(node, "cpu"), i++)
 			wakeup_cpu(node);
 	} else if (is_us_iv()) {
Index: kernel/arch/sparc64/src/smp/sun4v/ipi.c
===================================================================
--- kernel/arch/sparc64/src/smp/sun4v/ipi.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/smp/sun4v/ipi.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -45,5 +45,5 @@
 
 static uint64_t data[MAX_NUM_STRANDS][IPI_MESSAGE_SIZE]
-	__attribute__ ((aligned (64)));
+    __attribute__((aligned(64)));
 
 static uint16_t ipi_cpu_list[MAX_NUM_STRANDS][MAX_NUM_STRANDS];
@@ -60,5 +60,6 @@
  */
 uint64_t ipi_brodcast_to(void (*func)(void), uint16_t cpu_list[MAX_NUM_STRANDS],
-		uint64_t list_size) {
+    uint64_t list_size)
+{
 
 	data[CPU->arch.id][0] = (uint64_t) func;
@@ -70,5 +71,5 @@
 
 	return __hypercall_fast3(CPU_MONDO_SEND, list_size,
-		KA2PA(ipi_cpu_list[CPU->arch.id]), KA2PA(data[CPU->arch.id]));
+	    KA2PA(ipi_cpu_list[CPU->arch.id]), KA2PA(data[CPU->arch.id]));
 }
 
@@ -81,5 +82,6 @@
  * @return		error code returned by the CPU_MONDO_SEND hypercall
  */
-uint64_t ipi_unicast_to(void (*func)(void), uint16_t cpu_id) {
+uint64_t ipi_unicast_to(void (*func)(void), uint16_t cpu_id)
+{
 	ipi_cpu_list[CPU->arch.id][0] = cpu_id;
 	return ipi_brodcast_to(func, ipi_cpu_list[CPU->arch.id], 1);
@@ -95,5 +97,5 @@
 void ipi_broadcast_arch(int ipi)
 {
-	void (* func)(void);
+	void (*func)(void);
 
 	switch (ipi) {
Index: kernel/arch/sparc64/src/smp/sun4v/smp.c
===================================================================
--- kernel/arch/sparc64/src/smp/sun4v/smp.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/smp/sun4v/smp.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -88,5 +88,6 @@
  * stored to the proposed_nrdy variable of the cpu_arch_t struture.
  */
-bool calculate_optimal_nrdy(exec_unit_t *exec_unit) {
+bool calculate_optimal_nrdy(exec_unit_t *exec_unit)
+{
 
 	/* calculate the number of threads the core will steal */
@@ -103,5 +104,5 @@
 	for (k = 0; k < exec_unit->strand_count; k++) {
 		exec_units->cpus[k]->arch.proposed_nrdy =
-			atomic_get(&(exec_unit->cpus[k]->nrdy));
+		    atomic_get(&(exec_unit->cpus[k]->nrdy));
 	}
 
@@ -112,13 +113,12 @@
 		unsigned int least_busy = 0;
 		unsigned int least_busy_nrdy =
-			exec_unit->cpus[0]->arch.proposed_nrdy;
+		    exec_unit->cpus[0]->arch.proposed_nrdy;
 
 		/* for each stolen thread, give it to the least busy CPU */
 		for (k = 0; k < exec_unit->strand_count; k++) {
-			if (exec_unit->cpus[k]->arch.proposed_nrdy
-					< least_busy_nrdy) {
+			if (exec_unit->cpus[k]->arch.proposed_nrdy < least_busy_nrdy) {
 				least_busy = k;
 				least_busy_nrdy =
-					exec_unit->cpus[k]->arch.proposed_nrdy;
+				    exec_unit->cpus[k]->arch.proposed_nrdy;
 			}
 		}
@@ -247,6 +247,6 @@
 			exec_units[i].strand_count++;
 			max_core_strands =
-				exec_units[i].strand_count > max_core_strands ?
-				exec_units[i].strand_count : max_core_strands;
+			    exec_units[i].strand_count > max_core_strands ?
+			    exec_units[i].strand_count : max_core_strands;
 
 		/* detecting execution unit failed */
Index: kernel/arch/sparc64/src/sun4u/sparc64.c
===================================================================
--- kernel/arch/sparc64/src/sun4u/sparc64.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/sun4u/sparc64.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -169,5 +169,6 @@
 
 	/* Not reached */
-	while (1);
+	while (1)
+		;
 }
 
@@ -175,5 +176,6 @@
 {
 	// TODO
-	while (1);
+	while (1)
+		;
 }
 
Index: kernel/arch/sparc64/src/sun4v/sparc64.c
===================================================================
--- kernel/arch/sparc64/src/sun4v/sparc64.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/sun4v/sparc64.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -167,5 +167,6 @@
 
 	/* Not reached */
-	while (1);
+	while (1)
+		;
 }
 
@@ -173,5 +174,6 @@
 {
 	// TODO
-	while (1);
+	while (1)
+		;
 }
 
Index: kernel/arch/sparc64/src/trap/sun4v/interrupt.c
===================================================================
--- kernel/arch/sparc64/src/trap/sun4v/interrupt.c	(revision 5a01f7db26fab19803d3e104e241b67eab7ac6d6)
+++ kernel/arch/sparc64/src/trap/sun4v/interrupt.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -74,6 +74,5 @@
  */
 uint64_t cpu_mondo_queues[MAX_NUM_STRANDS][CPU_MONDO_QUEUE_SIZE]
-	__attribute__((aligned(
-	CPU_MONDO_QUEUE_SIZE * sizeof(uint64_t))));
+    __attribute__((aligned(CPU_MONDO_QUEUE_SIZE * sizeof(uint64_t))));
 
 /**
@@ -83,10 +82,10 @@
 {
 	if (__hypercall_fast3(
-		CPU_QCONF,
-		CPU_MONDO_QUEUE_ID,
-		KA2PA(cpu_mondo_queues[CPU->id]),
-		CPU_MONDO_NENTRIES) != HV_EOK)
-			panic("Initializing mondo queue failed on CPU %" PRIu64 ".\n",
-			    CPU->arch.id);
+	    CPU_QCONF,
+	    CPU_MONDO_QUEUE_ID,
+	    KA2PA(cpu_mondo_queues[CPU->id]),
+	    CPU_MONDO_NENTRIES) != HV_EOK)
+		panic("Initializing mondo queue failed on CPU %" PRIu64 ".\n",
+		    CPU->arch.id);
 }