[SeaBIOS] [PATCH 03/10] e820: Update debugging messages to report 64bit values

[Kevin O'Connor]

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

diff --git a/src/e820map.c b/src/e820map.c
index 901ccdf..39445cf 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.