Index: kernel/arch/sparc64/src/sun4v/md.c
===================================================================
--- kernel/arch/sparc64/src/sun4v/md.c	(revision c92af69b1b2a0999cf143cb2f41b57e0f8985423)
+++ kernel/arch/sparc64/src/sun4v/md.c	(revision d47279b2f0d838ae7529b29470835aa5a33ddc2b)
@@ -310,6 +310,6 @@
 	retval = retval;
 	if (retval != HV_EOK) {
-		printf("Could not retrieve machine description, error = %d.\n",
-		    retval);
+		printf("Could not retrieve machine description, "
+		    "error=%" PRIu64 ".\n", retval);
 	}
 }