Also report memory over 4G during init.

diff --git a/src/post.c b/src/post.c
index 42a27bcbd0471ba27d32c75f4c6a8dd318fadee6..6964f3883ebd2a8a0eaea82e796465fb544235ad 100644 (file)
--- a/src/post.c
+++ b/src/post.c
@@ -136,7 +136,8 @@ ram_probe(void)
         // other page for EPT real mode pagetable
         add_e820(0xfffbc000, 4*4096, E820_RESERVED);
 
-    dprintf(1, "Ram Size=0x%08x\n", RamSize);
+    dprintf(1, "Ram Size=0x%08x (0x%08x%08x high)\n"
+            , RamSize, (u32)(RamSizeOver4G >> 32), (u32)RamSizeOver4G);
 }
 
 static void