Index: arch/ia32/src/mm/frame.c
===================================================================
--- arch/ia32/src/mm/frame.c	(revision 0e248572e219d332c1881e47e4fd7bc9890c42a3)
+++ arch/ia32/src/mm/frame.c	(revision b22e1dbc4ba028963e375a8198ec9ead24c80bf9)
@@ -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);
 	}