amd64 pagetable: regen

diff --git a/platform/hw/arch/amd64/pagetable.S b/platform/hw/arch/amd64/pagetable.S
index fa19859204b24f800923311642a92d4669a15930..b2c5725bd6cd540e8b0017a3b3329dac4ab18b7b 100644 (file)
--- 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 + 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 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 0x100000 + 0x3
        .quad 0x101000 + 0x3
        .quad 0x102000 + 0x3