Index: kernel/arch/sparc64/src/smp/sun4u/ipi.c
===================================================================
--- kernel/arch/sparc64/src/smp/sun4u/ipi.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/sparc64/src/smp/sun4u/ipi.c	(revision 8800b13065d75eefbc778f2b003bc4253f57fc29)
@@ -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 a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/sparc64/src/smp/sun4u/smp.c	(revision 8800b13065d75eefbc778f2b003bc4253f57fc29)
@@ -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 a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/sparc64/src/smp/sun4v/ipi.c	(revision 8800b13065d75eefbc778f2b003bc4253f57fc29)
@@ -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 a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/sparc64/src/smp/sun4v/smp.c	(revision 8800b13065d75eefbc778f2b003bc4253f57fc29)
@@ -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 */