amd64: don't map pages before memstart

diff --git a/platform/hw/arch/amd64/makepagetable.awk b/platform/hw/arch/amd64/makepagetable.awk
index f2edd8f7a0e93de392485616e6466cddd44d50a3..d44d0176f961a7762a961d86fefe5de9e0f1e7ae 100644 (file)
--- a/platform/hw/arch/amd64/makepagetable.awk
+++ b/platform/hw/arch/amd64/makepagetable.awk
@@ -31,13 +31,14 @@ BEGIN {
 
        printf("/* AUTOMATICALLY GENERATED BY makepagetables.awk */\n\n");
 
-       # first level, only used for lowest 2MB, with 0 unmapped
+       # first level, only used for lowest 2MB
+       start = 0x100000
        printf(".align 0x1000\ncpu_pt0:\n");
-       printf("\t.quad 0x0\n");
-       addr = 0x1000
-       for (i = 0; i < 0x1ff; i++) {
+       for (addr = 0; addr < start; addr += 0x1000) {
+               printf("\t.quad 0x%x\n", addr);
+       }
+       for (; addr < 0x200000; addr += 0x1000) {
                printf("\t.quad 0x%x + 0x%x\n", addr, PG_FORALL);
-               addr += 0x1000
        }
 
        # second level, page directories, need full one per gig