Index: kernel/arch/sparc64/include/asm.h
===================================================================
--- kernel/arch/sparc64/include/asm.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/sparc64/include/asm.h	(revision 2c4fb51b2c33786a0d3feca94cbe6c2965913c0a)
@@ -38,4 +38,5 @@
 #include <arch/arch.h>
 #include <arch/types.h>
+#include <typedefs.h>
 #include <align.h>
 #include <arch/register.h>
Index: kernel/arch/sparc64/include/cpu.h
===================================================================
--- kernel/arch/sparc64/include/cpu.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/sparc64/include/cpu.h	(revision 2c4fb51b2c33786a0d3feca94cbe6c2965913c0a)
@@ -37,4 +37,5 @@
 
 #include <arch/types.h>
+#include <typedefs.h>
 #include <arch/register.h>
 #include <arch/asm.h>
Index: kernel/arch/sparc64/src/cpu/cpu.c
===================================================================
--- kernel/arch/sparc64/src/cpu/cpu.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/sparc64/src/cpu/cpu.c	(revision 2c4fb51b2c33786a0d3feca94cbe6c2965913c0a)
@@ -136,5 +136,5 @@
 	}
 
-	printf("cpu%d: manuf=%s, impl=%s, mask=%d (%dMHz)\n", m->id, manuf,
+	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);
 }
Index: kernel/arch/sparc64/src/smp/smp.c
===================================================================
--- kernel/arch/sparc64/src/smp/smp.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/sparc64/src/smp/smp.c	(revision 2c4fb51b2c33786a0d3feca94cbe6c2965913c0a)
@@ -100,5 +100,5 @@
 		
 		if (waitq_sleep_timeout(&ap_completion_wq, 1000000, SYNCH_FLAGS_NONE) == ESYNCH_TIMEOUT)
-			printf("%s: waiting for processor (mid = %d) timed out\n",
+			printf("%s: waiting for processor (mid = %" PRIu32 ") timed out\n",
 			    __func__, mid);
 	}
Index: kernel/arch/sparc64/src/trap/exception.c
===================================================================
--- kernel/arch/sparc64/src/trap/exception.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/sparc64/src/trap/exception.c	(revision 2c4fb51b2c33786a0d3feca94cbe6c2965913c0a)
@@ -46,7 +46,7 @@
 void dump_istate(istate_t *istate)
 {
-	printf("TSTATE=%#llx\n", istate->tstate);
-	printf("TPC=%#llx (%s)\n", istate->tpc, get_symtab_entry(istate->tpc));
-	printf("TNPC=%#llx (%s)\n", istate->tnpc, get_symtab_entry(istate->tnpc));
+	printf("TSTATE=%#" PRIx64 "\n", istate->tstate);
+	printf("TPC=%#" PRIx64 " (%s)\n", istate->tpc, get_symtab_entry(istate->tpc));
+	printf("TNPC=%#" PRIx64 " (%s)\n", istate->tnpc, get_symtab_entry(istate->tnpc));
 }
 
Index: kernel/arch/sparc64/src/trap/interrupt.c
===================================================================
--- kernel/arch/sparc64/src/trap/interrupt.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/sparc64/src/trap/interrupt.c	(revision 2c4fb51b2c33786a0d3feca94cbe6c2965913c0a)
@@ -98,6 +98,6 @@
 		 */
 #ifdef CONFIG_DEBUG
-		printf("cpu%d: spurious interrupt (intrcv=%#llx, "
-			"data0=%#llx)\n", CPU->id, intrcv, data0);
+		printf("cpu%u: spurious interrupt (intrcv=%#" PRIx64
+			", data0=%#" PRIx64 ")\n", CPU->id, intrcv, data0);
 #endif
 	}