From 5ba22ab9f56fd1c01fc6cdd3f934e7323894e0f8 Mon Sep 17 00:00:00 2001
From: Kevin O'Connor <kevin@koconnor.net>
Date: Wed, 30 Sep 2015 23:00:43 -0400
Subject: [PATCH] e820: Update debugging messages to report 64bit values

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
---
 src/e820map.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/e820map.c b/src/e820map.c
index 901ccdfd..39445cf6 100644
--- a/src/e820map.c
+++ b/src/e820map.c
@@ -79,7 +79,7 @@ dump_map(void)
 void
 e820_add(u64 start, u64 size, u32 type)
 {
-    dprintf(8, "Add to e820 map: %08x %08x %d\n", (u32)start, (u32)size, type);
+    dprintf(8, "Add to e820 map: %08llx %08llx %d\n", start, size, type);
 
     if (! size)
         // Huh?  Nothing to do.