Index: boot/arch/riscv64/src/main.c
===================================================================
--- boot/arch/riscv64/src/main.c	(revision 10d65d70906a865fb116576edc88e47ab61a5fb4)
+++ boot/arch/riscv64/src/main.c	(revision dbcaa2d2431cd6c5df4a3aae6ef36a8262c9000f)
@@ -32,4 +32,5 @@
 #include <arch/ucb.h>
 #include <arch/mm.h>
+#include <arch/types.h>
 #include <version.h>
 #include <stddef.h>
@@ -64,5 +65,5 @@
 	bootinfo.memmap.zones[0].size = PHYSMEM_SIZE;
 
-	printf("\nMemory statistics (total %llu MB, starting at %p)\n\n",
+	printf("\nMemory statistics (total %" PRIu64 " MB, starting at %p)\n\n",
 	    bootinfo.memmap.total >> 20, (void *) bootinfo.physmem_start);
 	printf(" %p: boot info structure\n", &bootinfo);