Index: boot/arch/sparc64/src/ofw.c
===================================================================
--- boot/arch/sparc64/src/ofw.c	(revision 7a995075ee9ad9adbfafd2610997bc6f56b8916e)
+++ boot/arch/sparc64/src/ofw.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
@@ -47,5 +47,5 @@
 	if (ch == '\n')
 		ofw_putchar('\r');
-	
+
 	if (ascii_check(ch))
 		ofw_putchar(ch);
@@ -72,16 +72,16 @@
 {
 	size_t cpus;
-	
+
 	for (cpus = 0; (child != 0) && (child != (phandle) -1);
 	    child = ofw_get_peer_node(child), cpus++) {
 		char type_name[OFW_TREE_PROPERTY_MAX_VALUELEN];
-		
+
 		if (ofw_get_property(child, "device_type", type_name,
 		    OFW_TREE_PROPERTY_MAX_VALUELEN) > 0) {
 			type_name[OFW_TREE_PROPERTY_MAX_VALUELEN - 1] = 0;
-			
+
 			if (str_cmp(type_name, "cpu") == 0) {
 				uint32_t mid;
-				
+
 				/*
 				 * "upa-portid" for US, "portid" for US-III,
@@ -92,5 +92,5 @@
 				    && (ofw_get_property(child, "cpuid", &mid, sizeof(mid)) <= 0))
 					continue;
-				
+
 				if (current_mid != mid) {
 					/*
@@ -104,5 +104,5 @@
 		}
 	}
-	
+
 	return cpus;
 }
@@ -115,5 +115,5 @@
 	/* Get the current CPU MID */
 	uint64_t current_mid;
-	
+
 	asm volatile (
 		"ldxa [%[zero]] %[asi], %[current_mid]\n"
@@ -122,24 +122,24 @@
 		  [asi] "i" (ASI_ICBUS_CONFIG)
 	);
-	
+
 	current_mid >>= ICBUS_CONFIG_MID_SHIFT;
 	current_mid &= mid_mask;
-	
+
 	/* Wake up the CPUs */
-	
+
 	phandle cpus_parent = ofw_find_device("/ssm@0,0");
 	if ((cpus_parent == 0) || (cpus_parent == (phandle) -1))
 		cpus_parent = ofw_find_device("/");
-	
+
 	phandle node = ofw_get_child_node(cpus_parent);
 	size_t cpus = wake_cpus_in_node(node, current_mid, physmem_start);
-	
+
 	while ((node != 0) && (node != (phandle) -1)) {
 		char name[OFW_TREE_PROPERTY_MAX_VALUELEN];
-		
+
 		if (ofw_get_property(node, "name", name,
 		    OFW_TREE_PROPERTY_MAX_VALUELEN) > 0) {
 			name[OFW_TREE_PROPERTY_MAX_VALUELEN - 1] = 0;
-			
+
 			if (str_cmp(name, "cmp") == 0) {
 				phandle subnode = ofw_get_child_node(node);
@@ -148,8 +148,8 @@
 			}
 		}
-		
+
 		node = ofw_get_peer_node(node);
 	}
-	
+
 	if (cpus == 0)
 		printf("Warning: Unable to get CPU properties.\n");
@@ -169,5 +169,5 @@
 		halt();
 	}
-	
+
 	return ((((uintptr_t) memreg[0]) << 32) | memreg[1]);
 }