Index: arch/ia32/src/mm/frame.c
===================================================================
--- arch/ia32/src/mm/frame.c	(revision f76fed4ce9ef078664208e11cf713b1e09aa3a72)
+++ arch/ia32/src/mm/frame.c	(revision bdab8280c725b0cf17c58e175b29cc5c835807a3)
@@ -92,6 +92,7 @@
 		else
 			name = "invalid";
-		printf("%P %dB %s\n", e820table[i].base_address, 
-		       e820table[i].size,
+		printf("%P %QB %s\n", 
+		       (__native) e820table[i].base_address, 
+		       (__u64) e820table[i].size,
 		       name);
 	}