e820: Update debugging messages to report 64bit values

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>

diff --git a/src/e820map.c b/src/e820map.c
index 901ccdfda7639e0543556c89ae04a238ec368abf..39445cf6399dfe1e86230cb093c13ccb1e3ae1cc 100644 (file)
--- 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.