From: Antti Kantee <pooka@iki.fi>
Date: Thu, 25 Feb 2016 15:19:01 +0000 (+0000)
Subject: Revert amd64 pagetable changes.
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=49deffd12421f084c0c014301803cad0b70e44de;p=osstest%2Frumprun.git

Revert amd64 pagetable changes.

We need the vga mapped (easy), but we also need the multiboot
info.  Since we don't really know where the bootloader is
going to place it, just not worth the fuss, so keep the whole
low meg mapped in the bootstrap page table.
---

diff --git a/platform/hw/arch/amd64/makepagetable.awk b/platform/hw/arch/amd64/makepagetable.awk
index d44d017..f2edd8f 100644
--- a/platform/hw/arch/amd64/makepagetable.awk
+++ b/platform/hw/arch/amd64/makepagetable.awk
@@ -31,14 +31,13 @@ BEGIN {
 
 	printf("/* AUTOMATICALLY GENERATED BY makepagetables.awk */\n\n");
 
-	# first level, only used for lowest 2MB
-	start = 0x100000
+	# first level, only used for lowest 2MB, with 0 unmapped
 	printf(".align 0x1000\ncpu_pt0:\n");
-	for (addr = 0; addr < start; addr += 0x1000) {
-		printf("\t.quad 0x%x\n", addr);
-	}
-	for (; addr < 0x200000; addr += 0x1000) {
+	printf("\t.quad 0x0\n");
+	addr = 0x1000
+	for (i = 0; i < 0x1ff; i++) {
 		printf("\t.quad 0x%x + 0x%x\n", addr, PG_FORALL);
+		addr += 0x1000
 	}
 
 	# second level, page directories, need full one per gig
diff --git a/platform/hw/arch/amd64/pagetable.S b/platform/hw/arch/amd64/pagetable.S
index b2c5725..fa19859 100644
--- a/platform/hw/arch/amd64/pagetable.S
+++ b/platform/hw/arch/amd64/pagetable.S
@@ -3,261 +3,261 @@
 .align 0x1000
 cpu_pt0:
 	.quad 0x0
-	.quad 0x1000
-	.quad 0x2000
-	.quad 0x3000
-	.quad 0x4000
-	.quad 0x5000
-	.quad 0x6000
-	.quad 0x7000
-	.quad 0x8000
-	.quad 0x9000
-	.quad 0xa000
-	.quad 0xb000
-	.quad 0xc000
-	.quad 0xd000
-	.quad 0xe000
-	.quad 0xf000
-	.quad 0x10000
-	.quad 0x11000
-	.quad 0x12000
-	.quad 0x13000
-	.quad 0x14000
-	.quad 0x15000
-	.quad 0x16000
-	.quad 0x17000
-	.quad 0x18000
-	.quad 0x19000
-	.quad 0x1a000
-	.quad 0x1b000
-	.quad 0x1c000
-	.quad 0x1d000
-	.quad 0x1e000
-	.quad 0x1f000
-	.quad 0x20000
-	.quad 0x21000
-	.quad 0x22000
-	.quad 0x23000
-	.quad 0x24000
-	.quad 0x25000
-	.quad 0x26000
-	.quad 0x27000
-	.quad 0x28000
-	.quad 0x29000
-	.quad 0x2a000
-	.quad 0x2b000
-	.quad 0x2c000
-	.quad 0x2d000
-	.quad 0x2e000
-	.quad 0x2f000
-	.quad 0x30000
-	.quad 0x31000
-	.quad 0x32000
-	.quad 0x33000
-	.quad 0x34000
-	.quad 0x35000
-	.quad 0x36000
-	.quad 0x37000
-	.quad 0x38000
-	.quad 0x39000
-	.quad 0x3a000
-	.quad 0x3b000
-	.quad 0x3c000
-	.quad 0x3d000
-	.quad 0x3e000
-	.quad 0x3f000
-	.quad 0x40000
-	.quad 0x41000
-	.quad 0x42000
-	.quad 0x43000
-	.quad 0x44000
-	.quad 0x45000
-	.quad 0x46000
-	.quad 0x47000
-	.quad 0x48000
-	.quad 0x49000
-	.quad 0x4a000
-	.quad 0x4b000
-	.quad 0x4c000
-	.quad 0x4d000
-	.quad 0x4e000
-	.quad 0x4f000
-	.quad 0x50000
-	.quad 0x51000
-	.quad 0x52000
-	.quad 0x53000
-	.quad 0x54000
-	.quad 0x55000
-	.quad 0x56000
-	.quad 0x57000
-	.quad 0x58000
-	.quad 0x59000
-	.quad 0x5a000
-	.quad 0x5b000
-	.quad 0x5c000
-	.quad 0x5d000
-	.quad 0x5e000
-	.quad 0x5f000
-	.quad 0x60000
-	.quad 0x61000
-	.quad 0x62000
-	.quad 0x63000
-	.quad 0x64000
-	.quad 0x65000
-	.quad 0x66000
-	.quad 0x67000
-	.quad 0x68000
-	.quad 0x69000
-	.quad 0x6a000
-	.quad 0x6b000
-	.quad 0x6c000
-	.quad 0x6d000
-	.quad 0x6e000
-	.quad 0x6f000
-	.quad 0x70000
-	.quad 0x71000
-	.quad 0x72000
-	.quad 0x73000
-	.quad 0x74000
-	.quad 0x75000
-	.quad 0x76000
-	.quad 0x77000
-	.quad 0x78000
-	.quad 0x79000
-	.quad 0x7a000
-	.quad 0x7b000
-	.quad 0x7c000
-	.quad 0x7d000
-	.quad 0x7e000
-	.quad 0x7f000
-	.quad 0x80000
-	.quad 0x81000
-	.quad 0x82000
-	.quad 0x83000
-	.quad 0x84000
-	.quad 0x85000
-	.quad 0x86000
-	.quad 0x87000
-	.quad 0x88000
-	.quad 0x89000
-	.quad 0x8a000
-	.quad 0x8b000
-	.quad 0x8c000
-	.quad 0x8d000
-	.quad 0x8e000
-	.quad 0x8f000
-	.quad 0x90000
-	.quad 0x91000
-	.quad 0x92000
-	.quad 0x93000
-	.quad 0x94000
-	.quad 0x95000
-	.quad 0x96000
-	.quad 0x97000
-	.quad 0x98000
-	.quad 0x99000
-	.quad 0x9a000
-	.quad 0x9b000
-	.quad 0x9c000
-	.quad 0x9d000
-	.quad 0x9e000
-	.quad 0x9f000
-	.quad 0xa0000
-	.quad 0xa1000
-	.quad 0xa2000
-	.quad 0xa3000
-	.quad 0xa4000
-	.quad 0xa5000
-	.quad 0xa6000
-	.quad 0xa7000
-	.quad 0xa8000
-	.quad 0xa9000
-	.quad 0xaa000
-	.quad 0xab000
-	.quad 0xac000
-	.quad 0xad000
-	.quad 0xae000
-	.quad 0xaf000
-	.quad 0xb0000
-	.quad 0xb1000
-	.quad 0xb2000
-	.quad 0xb3000
-	.quad 0xb4000
-	.quad 0xb5000
-	.quad 0xb6000
-	.quad 0xb7000
-	.quad 0xb8000
-	.quad 0xb9000
-	.quad 0xba000
-	.quad 0xbb000
-	.quad 0xbc000
-	.quad 0xbd000
-	.quad 0xbe000
-	.quad 0xbf000
-	.quad 0xc0000
-	.quad 0xc1000
-	.quad 0xc2000
-	.quad 0xc3000
-	.quad 0xc4000
-	.quad 0xc5000
-	.quad 0xc6000
-	.quad 0xc7000
-	.quad 0xc8000
-	.quad 0xc9000
-	.quad 0xca000
-	.quad 0xcb000
-	.quad 0xcc000
-	.quad 0xcd000
-	.quad 0xce000
-	.quad 0xcf000
-	.quad 0xd0000
-	.quad 0xd1000
-	.quad 0xd2000
-	.quad 0xd3000
-	.quad 0xd4000
-	.quad 0xd5000
-	.quad 0xd6000
-	.quad 0xd7000
-	.quad 0xd8000
-	.quad 0xd9000
-	.quad 0xda000
-	.quad 0xdb000
-	.quad 0xdc000
-	.quad 0xdd000
-	.quad 0xde000
-	.quad 0xdf000
-	.quad 0xe0000
-	.quad 0xe1000
-	.quad 0xe2000
-	.quad 0xe3000
-	.quad 0xe4000
-	.quad 0xe5000
-	.quad 0xe6000
-	.quad 0xe7000
-	.quad 0xe8000
-	.quad 0xe9000
-	.quad 0xea000
-	.quad 0xeb000
-	.quad 0xec000
-	.quad 0xed000
-	.quad 0xee000
-	.quad 0xef000
-	.quad 0xf0000
-	.quad 0xf1000
-	.quad 0xf2000
-	.quad 0xf3000
-	.quad 0xf4000
-	.quad 0xf5000
-	.quad 0xf6000
-	.quad 0xf7000
-	.quad 0xf8000
-	.quad 0xf9000
-	.quad 0xfa000
-	.quad 0xfb000
-	.quad 0xfc000
-	.quad 0xfd000
-	.quad 0xfe000
-	.quad 0xff000
+	.quad 0x1000 + 0x3
+	.quad 0x2000 + 0x3
+	.quad 0x3000 + 0x3
+	.quad 0x4000 + 0x3
+	.quad 0x5000 + 0x3
+	.quad 0x6000 + 0x3
+	.quad 0x7000 + 0x3
+	.quad 0x8000 + 0x3
+	.quad 0x9000 + 0x3
+	.quad 0xa000 + 0x3
+	.quad 0xb000 + 0x3
+	.quad 0xc000 + 0x3
+	.quad 0xd000 + 0x3
+	.quad 0xe000 + 0x3
+	.quad 0xf000 + 0x3
+	.quad 0x10000 + 0x3
+	.quad 0x11000 + 0x3
+	.quad 0x12000 + 0x3
+	.quad 0x13000 + 0x3
+	.quad 0x14000 + 0x3
+	.quad 0x15000 + 0x3
+	.quad 0x16000 + 0x3
+	.quad 0x17000 + 0x3
+	.quad 0x18000 + 0x3
+	.quad 0x19000 + 0x3
+	.quad 0x1a000 + 0x3
+	.quad 0x1b000 + 0x3
+	.quad 0x1c000 + 0x3
+	.quad 0x1d000 + 0x3
+	.quad 0x1e000 + 0x3
+	.quad 0x1f000 + 0x3
+	.quad 0x20000 + 0x3
+	.quad 0x21000 + 0x3
+	.quad 0x22000 + 0x3
+	.quad 0x23000 + 0x3
+	.quad 0x24000 + 0x3
+	.quad 0x25000 + 0x3
+	.quad 0x26000 + 0x3
+	.quad 0x27000 + 0x3
+	.quad 0x28000 + 0x3
+	.quad 0x29000 + 0x3
+	.quad 0x2a000 + 0x3
+	.quad 0x2b000 + 0x3
+	.quad 0x2c000 + 0x3
+	.quad 0x2d000 + 0x3
+	.quad 0x2e000 + 0x3
+	.quad 0x2f000 + 0x3
+	.quad 0x30000 + 0x3
+	.quad 0x31000 + 0x3
+	.quad 0x32000 + 0x3
+	.quad 0x33000 + 0x3
+	.quad 0x34000 + 0x3
+	.quad 0x35000 + 0x3
+	.quad 0x36000 + 0x3
+	.quad 0x37000 + 0x3
+	.quad 0x38000 + 0x3
+	.quad 0x39000 + 0x3
+	.quad 0x3a000 + 0x3
+	.quad 0x3b000 + 0x3
+	.quad 0x3c000 + 0x3
+	.quad 0x3d000 + 0x3
+	.quad 0x3e000 + 0x3
+	.quad 0x3f000 + 0x3
+	.quad 0x40000 + 0x3
+	.quad 0x41000 + 0x3
+	.quad 0x42000 + 0x3
+	.quad 0x43000 + 0x3
+	.quad 0x44000 + 0x3
+	.quad 0x45000 + 0x3
+	.quad 0x46000 + 0x3
+	.quad 0x47000 + 0x3
+	.quad 0x48000 + 0x3
+	.quad 0x49000 + 0x3
+	.quad 0x4a000 + 0x3
+	.quad 0x4b000 + 0x3
+	.quad 0x4c000 + 0x3
+	.quad 0x4d000 + 0x3
+	.quad 0x4e000 + 0x3
+	.quad 0x4f000 + 0x3
+	.quad 0x50000 + 0x3
+	.quad 0x51000 + 0x3
+	.quad 0x52000 + 0x3
+	.quad 0x53000 + 0x3
+	.quad 0x54000 + 0x3
+	.quad 0x55000 + 0x3
+	.quad 0x56000 + 0x3
+	.quad 0x57000 + 0x3
+	.quad 0x58000 + 0x3
+	.quad 0x59000 + 0x3
+	.quad 0x5a000 + 0x3
+	.quad 0x5b000 + 0x3
+	.quad 0x5c000 + 0x3
+	.quad 0x5d000 + 0x3
+	.quad 0x5e000 + 0x3
+	.quad 0x5f000 + 0x3
+	.quad 0x60000 + 0x3
+	.quad 0x61000 + 0x3
+	.quad 0x62000 + 0x3
+	.quad 0x63000 + 0x3
+	.quad 0x64000 + 0x3
+	.quad 0x65000 + 0x3
+	.quad 0x66000 + 0x3
+	.quad 0x67000 + 0x3
+	.quad 0x68000 + 0x3
+	.quad 0x69000 + 0x3
+	.quad 0x6a000 + 0x3
+	.quad 0x6b000 + 0x3
+	.quad 0x6c000 + 0x3
+	.quad 0x6d000 + 0x3
+	.quad 0x6e000 + 0x3
+	.quad 0x6f000 + 0x3
+	.quad 0x70000 + 0x3
+	.quad 0x71000 + 0x3
+	.quad 0x72000 + 0x3
+	.quad 0x73000 + 0x3
+	.quad 0x74000 + 0x3
+	.quad 0x75000 + 0x3
+	.quad 0x76000 + 0x3
+	.quad 0x77000 + 0x3
+	.quad 0x78000 + 0x3
+	.quad 0x79000 + 0x3
+	.quad 0x7a000 + 0x3
+	.quad 0x7b000 + 0x3
+	.quad 0x7c000 + 0x3
+	.quad 0x7d000 + 0x3
+	.quad 0x7e000 + 0x3
+	.quad 0x7f000 + 0x3
+	.quad 0x80000 + 0x3
+	.quad 0x81000 + 0x3
+	.quad 0x82000 + 0x3
+	.quad 0x83000 + 0x3
+	.quad 0x84000 + 0x3
+	.quad 0x85000 + 0x3
+	.quad 0x86000 + 0x3
+	.quad 0x87000 + 0x3
+	.quad 0x88000 + 0x3
+	.quad 0x89000 + 0x3
+	.quad 0x8a000 + 0x3
+	.quad 0x8b000 + 0x3
+	.quad 0x8c000 + 0x3
+	.quad 0x8d000 + 0x3
+	.quad 0x8e000 + 0x3
+	.quad 0x8f000 + 0x3
+	.quad 0x90000 + 0x3
+	.quad 0x91000 + 0x3
+	.quad 0x92000 + 0x3
+	.quad 0x93000 + 0x3
+	.quad 0x94000 + 0x3
+	.quad 0x95000 + 0x3
+	.quad 0x96000 + 0x3
+	.quad 0x97000 + 0x3
+	.quad 0x98000 + 0x3
+	.quad 0x99000 + 0x3
+	.quad 0x9a000 + 0x3
+	.quad 0x9b000 + 0x3
+	.quad 0x9c000 + 0x3
+	.quad 0x9d000 + 0x3
+	.quad 0x9e000 + 0x3
+	.quad 0x9f000 + 0x3
+	.quad 0xa0000 + 0x3
+	.quad 0xa1000 + 0x3
+	.quad 0xa2000 + 0x3
+	.quad 0xa3000 + 0x3
+	.quad 0xa4000 + 0x3
+	.quad 0xa5000 + 0x3
+	.quad 0xa6000 + 0x3
+	.quad 0xa7000 + 0x3
+	.quad 0xa8000 + 0x3
+	.quad 0xa9000 + 0x3
+	.quad 0xaa000 + 0x3
+	.quad 0xab000 + 0x3
+	.quad 0xac000 + 0x3
+	.quad 0xad000 + 0x3
+	.quad 0xae000 + 0x3
+	.quad 0xaf000 + 0x3
+	.quad 0xb0000 + 0x3
+	.quad 0xb1000 + 0x3
+	.quad 0xb2000 + 0x3
+	.quad 0xb3000 + 0x3
+	.quad 0xb4000 + 0x3
+	.quad 0xb5000 + 0x3
+	.quad 0xb6000 + 0x3
+	.quad 0xb7000 + 0x3
+	.quad 0xb8000 + 0x3
+	.quad 0xb9000 + 0x3
+	.quad 0xba000 + 0x3
+	.quad 0xbb000 + 0x3
+	.quad 0xbc000 + 0x3
+	.quad 0xbd000 + 0x3
+	.quad 0xbe000 + 0x3
+	.quad 0xbf000 + 0x3
+	.quad 0xc0000 + 0x3
+	.quad 0xc1000 + 0x3
+	.quad 0xc2000 + 0x3
+	.quad 0xc3000 + 0x3
+	.quad 0xc4000 + 0x3
+	.quad 0xc5000 + 0x3
+	.quad 0xc6000 + 0x3
+	.quad 0xc7000 + 0x3
+	.quad 0xc8000 + 0x3
+	.quad 0xc9000 + 0x3
+	.quad 0xca000 + 0x3
+	.quad 0xcb000 + 0x3
+	.quad 0xcc000 + 0x3
+	.quad 0xcd000 + 0x3
+	.quad 0xce000 + 0x3
+	.quad 0xcf000 + 0x3
+	.quad 0xd0000 + 0x3
+	.quad 0xd1000 + 0x3
+	.quad 0xd2000 + 0x3
+	.quad 0xd3000 + 0x3
+	.quad 0xd4000 + 0x3
+	.quad 0xd5000 + 0x3
+	.quad 0xd6000 + 0x3
+	.quad 0xd7000 + 0x3
+	.quad 0xd8000 + 0x3
+	.quad 0xd9000 + 0x3
+	.quad 0xda000 + 0x3
+	.quad 0xdb000 + 0x3
+	.quad 0xdc000 + 0x3
+	.quad 0xdd000 + 0x3
+	.quad 0xde000 + 0x3
+	.quad 0xdf000 + 0x3
+	.quad 0xe0000 + 0x3
+	.quad 0xe1000 + 0x3
+	.quad 0xe2000 + 0x3
+	.quad 0xe3000 + 0x3
+	.quad 0xe4000 + 0x3
+	.quad 0xe5000 + 0x3
+	.quad 0xe6000 + 0x3
+	.quad 0xe7000 + 0x3
+	.quad 0xe8000 + 0x3
+	.quad 0xe9000 + 0x3
+	.quad 0xea000 + 0x3
+	.quad 0xeb000 + 0x3
+	.quad 0xec000 + 0x3
+	.quad 0xed000 + 0x3
+	.quad 0xee000 + 0x3
+	.quad 0xef000 + 0x3
+	.quad 0xf0000 + 0x3
+	.quad 0xf1000 + 0x3
+	.quad 0xf2000 + 0x3
+	.quad 0xf3000 + 0x3
+	.quad 0xf4000 + 0x3
+	.quad 0xf5000 + 0x3
+	.quad 0xf6000 + 0x3
+	.quad 0xf7000 + 0x3
+	.quad 0xf8000 + 0x3
+	.quad 0xf9000 + 0x3
+	.quad 0xfa000 + 0x3
+	.quad 0xfb000 + 0x3
+	.quad 0xfc000 + 0x3
+	.quad 0xfd000 + 0x3
+	.quad 0xfe000 + 0x3
+	.quad 0xff000 + 0x3
 	.quad 0x100000 + 0x3
 	.quad 0x101000 + 0x3
 	.quad 0x102000 + 0x3