/* * For simplicity we currently use the exact same setup as hvt, 2MB pages with * a 3-level page hierarchy. We only map the first 1GB, if you want a unikernel * bigger than that, feel free to fix. * * Note that unlike hvt, virtio needs access to low memory for platform setup, * so we only unmap the first page here. */ .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 0x100000 + 0x3 .quad 0x101000 + 0x3 .quad 0x102000 + 0x3 .quad 0x103000 + 0x3 .quad 0x104000 + 0x3 .quad 0x105000 + 0x3 .quad 0x106000 + 0x3 .quad 0x107000 + 0x3 .quad 0x108000 + 0x3 .quad 0x109000 + 0x3 .quad 0x10a000 + 0x3 .quad 0x10b000 + 0x3 .quad 0x10c000 + 0x3 .quad 0x10d000 + 0x3 .quad 0x10e000 + 0x3 .quad 0x10f000 + 0x3 .quad 0x110000 + 0x3 .quad 0x111000 + 0x3 .quad 0x112000 + 0x3 .quad 0x113000 + 0x3 .quad 0x114000 + 0x3 .quad 0x115000 + 0x3 .quad 0x116000 + 0x3 .quad 0x117000 + 0x3 .quad 0x118000 + 0x3 .quad 0x119000 + 0x3 .quad 0x11a000 + 0x3 .quad 0x11b000 + 0x3 .quad 0x11c000 + 0x3 .quad 0x11d000 + 0x3 .quad 0x11e000 + 0x3 .quad 0x11f000 + 0x3 .quad 0x120000 + 0x3 .quad 0x121000 + 0x3 .quad 0x122000 + 0x3 .quad 0x123000 + 0x3 .quad 0x124000 + 0x3 .quad 0x125000 + 0x3 .quad 0x126000 + 0x3 .quad 0x127000 + 0x3 .quad 0x128000 + 0x3 .quad 0x129000 + 0x3 .quad 0x12a000 + 0x3 .quad 0x12b000 + 0x3 .quad 0x12c000 + 0x3 .quad 0x12d000 + 0x3 .quad 0x12e000 + 0x3 .quad 0x12f000 + 0x3 .quad 0x130000 + 0x3 .quad 0x131000 + 0x3 .quad 0x132000 + 0x3 .quad 0x133000 + 0x3 .quad 0x134000 + 0x3 .quad 0x135000 + 0x3 .quad 0x136000 + 0x3 .quad 0x137000 + 0x3 .quad 0x138000 + 0x3 .quad 0x139000 + 0x3 .quad 0x13a000 + 0x3 .quad 0x13b000 + 0x3 .quad 0x13c000 + 0x3 .quad 0x13d000 + 0x3 .quad 0x13e000 + 0x3 .quad 0x13f000 + 0x3 .quad 0x140000 + 0x3 .quad 0x141000 + 0x3 .quad 0x142000 + 0x3 .quad 0x143000 + 0x3 .quad 0x144000 + 0x3 .quad 0x145000 + 0x3 .quad 0x146000 + 0x3 .quad 0x147000 + 0x3 .quad 0x148000 + 0x3 .quad 0x149000 + 0x3 .quad 0x14a000 + 0x3 .quad 0x14b000 + 0x3 .quad 0x14c000 + 0x3 .quad 0x14d000 + 0x3 .quad 0x14e000 + 0x3 .quad 0x14f000 + 0x3 .quad 0x150000 + 0x3 .quad 0x151000 + 0x3 .quad 0x152000 + 0x3 .quad 0x153000 + 0x3 .quad 0x154000 + 0x3 .quad 0x155000 + 0x3 .quad 0x156000 + 0x3 .quad 0x157000 + 0x3 .quad 0x158000 + 0x3 .quad 0x159000 + 0x3 .quad 0x15a000 + 0x3 .quad 0x15b000 + 0x3 .quad 0x15c000 + 0x3 .quad 0x15d000 + 0x3 .quad 0x15e000 + 0x3 .quad 0x15f000 + 0x3 .quad 0x160000 + 0x3 .quad 0x161000 + 0x3 .quad 0x162000 + 0x3 .quad 0x163000 + 0x3 .quad 0x164000 + 0x3 .quad 0x165000 + 0x3 .quad 0x166000 + 0x3 .quad 0x167000 + 0x3 .quad 0x168000 + 0x3 .quad 0x169000 + 0x3 .quad 0x16a000 + 0x3 .quad 0x16b000 + 0x3 .quad 0x16c000 + 0x3 .quad 0x16d000 + 0x3 .quad 0x16e000 + 0x3 .quad 0x16f000 + 0x3 .quad 0x170000 + 0x3 .quad 0x171000 + 0x3 .quad 0x172000 + 0x3 .quad 0x173000 + 0x3 .quad 0x174000 + 0x3 .quad 0x175000 + 0x3 .quad 0x176000 + 0x3 .quad 0x177000 + 0x3 .quad 0x178000 + 0x3 .quad 0x179000 + 0x3 .quad 0x17a000 + 0x3 .quad 0x17b000 + 0x3 .quad 0x17c000 + 0x3 .quad 0x17d000 + 0x3 .quad 0x17e000 + 0x3 .quad 0x17f000 + 0x3 .quad 0x180000 + 0x3 .quad 0x181000 + 0x3 .quad 0x182000 + 0x3 .quad 0x183000 + 0x3 .quad 0x184000 + 0x3 .quad 0x185000 + 0x3 .quad 0x186000 + 0x3 .quad 0x187000 + 0x3 .quad 0x188000 + 0x3 .quad 0x189000 + 0x3 .quad 0x18a000 + 0x3 .quad 0x18b000 + 0x3 .quad 0x18c000 + 0x3 .quad 0x18d000 + 0x3 .quad 0x18e000 + 0x3 .quad 0x18f000 + 0x3 .quad 0x190000 + 0x3 .quad 0x191000 + 0x3 .quad 0x192000 + 0x3 .quad 0x193000 + 0x3 .quad 0x194000 + 0x3 .quad 0x195000 + 0x3 .quad 0x196000 + 0x3 .quad 0x197000 + 0x3 .quad 0x198000 + 0x3 .quad 0x199000 + 0x3 .quad 0x19a000 + 0x3 .quad 0x19b000 + 0x3 .quad 0x19c000 + 0x3 .quad 0x19d000 + 0x3 .quad 0x19e000 + 0x3 .quad 0x19f000 + 0x3 .quad 0x1a0000 + 0x3 .quad 0x1a1000 + 0x3 .quad 0x1a2000 + 0x3 .quad 0x1a3000 + 0x3 .quad 0x1a4000 + 0x3 .quad 0x1a5000 + 0x3 .quad 0x1a6000 + 0x3 .quad 0x1a7000 + 0x3 .quad 0x1a8000 + 0x3 .quad 0x1a9000 + 0x3 .quad 0x1aa000 + 0x3 .quad 0x1ab000 + 0x3 .quad 0x1ac000 + 0x3 .quad 0x1ad000 + 0x3 .quad 0x1ae000 + 0x3 .quad 0x1af000 + 0x3 .quad 0x1b0000 + 0x3 .quad 0x1b1000 + 0x3 .quad 0x1b2000 + 0x3 .quad 0x1b3000 + 0x3 .quad 0x1b4000 + 0x3 .quad 0x1b5000 + 0x3 .quad 0x1b6000 + 0x3 .quad 0x1b7000 + 0x3 .quad 0x1b8000 + 0x3 .quad 0x1b9000 + 0x3 .quad 0x1ba000 + 0x3 .quad 0x1bb000 + 0x3 .quad 0x1bc000 + 0x3 .quad 0x1bd000 + 0x3 .quad 0x1be000 + 0x3 .quad 0x1bf000 + 0x3 .quad 0x1c0000 + 0x3 .quad 0x1c1000 + 0x3 .quad 0x1c2000 + 0x3 .quad 0x1c3000 + 0x3 .quad 0x1c4000 + 0x3 .quad 0x1c5000 + 0x3 .quad 0x1c6000 + 0x3 .quad 0x1c7000 + 0x3 .quad 0x1c8000 + 0x3 .quad 0x1c9000 + 0x3 .quad 0x1ca000 + 0x3 .quad 0x1cb000 + 0x3 .quad 0x1cc000 + 0x3 .quad 0x1cd000 + 0x3 .quad 0x1ce000 + 0x3 .quad 0x1cf000 + 0x3 .quad 0x1d0000 + 0x3 .quad 0x1d1000 + 0x3 .quad 0x1d2000 + 0x3 .quad 0x1d3000 + 0x3 .quad 0x1d4000 + 0x3 .quad 0x1d5000 + 0x3 .quad 0x1d6000 + 0x3 .quad 0x1d7000 + 0x3 .quad 0x1d8000 + 0x3 .quad 0x1d9000 + 0x3 .quad 0x1da000 + 0x3 .quad 0x1db000 + 0x3 .quad 0x1dc000 + 0x3 .quad 0x1dd000 + 0x3 .quad 0x1de000 + 0x3 .quad 0x1df000 + 0x3 .quad 0x1e0000 + 0x3 .quad 0x1e1000 + 0x3 .quad 0x1e2000 + 0x3 .quad 0x1e3000 + 0x3 .quad 0x1e4000 + 0x3 .quad 0x1e5000 + 0x3 .quad 0x1e6000 + 0x3 .quad 0x1e7000 + 0x3 .quad 0x1e8000 + 0x3 .quad 0x1e9000 + 0x3 .quad 0x1ea000 + 0x3 .quad 0x1eb000 + 0x3 .quad 0x1ec000 + 0x3 .quad 0x1ed000 + 0x3 .quad 0x1ee000 + 0x3 .quad 0x1ef000 + 0x3 .quad 0x1f0000 + 0x3 .quad 0x1f1000 + 0x3 .quad 0x1f2000 + 0x3 .quad 0x1f3000 + 0x3 .quad 0x1f4000 + 0x3 .quad 0x1f5000 + 0x3 .quad 0x1f6000 + 0x3 .quad 0x1f7000 + 0x3 .quad 0x1f8000 + 0x3 .quad 0x1f9000 + 0x3 .quad 0x1fa000 + 0x3 .quad 0x1fb000 + 0x3 .quad 0x1fc000 + 0x3 .quad 0x1fd000 + 0x3 .quad 0x1fe000 + 0x3 .quad 0x1ff000 + 0x3 .align 0x1000 cpu_pd: .quad cpu_pt0 + 0x3 .quad 0x0000000000200000 + 0x3 + 0x80 .quad 0x0000000000400000 + 0x3 + 0x80 .quad 0x0000000000600000 + 0x3 + 0x80 .quad 0x0000000000800000 + 0x3 + 0x80 .quad 0x0000000000a00000 + 0x3 + 0x80 .quad 0x0000000000c00000 + 0x3 + 0x80 .quad 0x0000000000e00000 + 0x3 + 0x80 .quad 0x0000000001000000 + 0x3 + 0x80 .quad 0x0000000001200000 + 0x3 + 0x80 .quad 0x0000000001400000 + 0x3 + 0x80 .quad 0x0000000001600000 + 0x3 + 0x80 .quad 0x0000000001800000 + 0x3 + 0x80 .quad 0x0000000001a00000 + 0x3 + 0x80 .quad 0x0000000001c00000 + 0x3 + 0x80 .quad 0x0000000001e00000 + 0x3 + 0x80 .quad 0x0000000002000000 + 0x3 + 0x80 .quad 0x0000000002200000 + 0x3 + 0x80 .quad 0x0000000002400000 + 0x3 + 0x80 .quad 0x0000000002600000 + 0x3 + 0x80 .quad 0x0000000002800000 + 0x3 + 0x80 .quad 0x0000000002a00000 + 0x3 + 0x80 .quad 0x0000000002c00000 + 0x3 + 0x80 .quad 0x0000000002e00000 + 0x3 + 0x80 .quad 0x0000000003000000 + 0x3 + 0x80 .quad 0x0000000003200000 + 0x3 + 0x80 .quad 0x0000000003400000 + 0x3 + 0x80 .quad 0x0000000003600000 + 0x3 + 0x80 .quad 0x0000000003800000 + 0x3 + 0x80 .quad 0x0000000003a00000 + 0x3 + 0x80 .quad 0x0000000003c00000 + 0x3 + 0x80 .quad 0x0000000003e00000 + 0x3 + 0x80 .quad 0x0000000004000000 + 0x3 + 0x80 .quad 0x0000000004200000 + 0x3 + 0x80 .quad 0x0000000004400000 + 0x3 + 0x80 .quad 0x0000000004600000 + 0x3 + 0x80 .quad 0x0000000004800000 + 0x3 + 0x80 .quad 0x0000000004a00000 + 0x3 + 0x80 .quad 0x0000000004c00000 + 0x3 + 0x80 .quad 0x0000000004e00000 + 0x3 + 0x80 .quad 0x0000000005000000 + 0x3 + 0x80 .quad 0x0000000005200000 + 0x3 + 0x80 .quad 0x0000000005400000 + 0x3 + 0x80 .quad 0x0000000005600000 + 0x3 + 0x80 .quad 0x0000000005800000 + 0x3 + 0x80 .quad 0x0000000005a00000 + 0x3 + 0x80 .quad 0x0000000005c00000 + 0x3 + 0x80 .quad 0x0000000005e00000 + 0x3 + 0x80 .quad 0x0000000006000000 + 0x3 + 0x80 .quad 0x0000000006200000 + 0x3 + 0x80 .quad 0x0000000006400000 + 0x3 + 0x80 .quad 0x0000000006600000 + 0x3 + 0x80 .quad 0x0000000006800000 + 0x3 + 0x80 .quad 0x0000000006a00000 + 0x3 + 0x80 .quad 0x0000000006c00000 + 0x3 + 0x80 .quad 0x0000000006e00000 + 0x3 + 0x80 .quad 0x0000000007000000 + 0x3 + 0x80 .quad 0x0000000007200000 + 0x3 + 0x80 .quad 0x0000000007400000 + 0x3 + 0x80 .quad 0x0000000007600000 + 0x3 + 0x80 .quad 0x0000000007800000 + 0x3 + 0x80 .quad 0x0000000007a00000 + 0x3 + 0x80 .quad 0x0000000007c00000 + 0x3 + 0x80 .quad 0x0000000007e00000 + 0x3 + 0x80 .quad 0x0000000008000000 + 0x3 + 0x80 .quad 0x0000000008200000 + 0x3 + 0x80 .quad 0x0000000008400000 + 0x3 + 0x80 .quad 0x0000000008600000 + 0x3 + 0x80 .quad 0x0000000008800000 + 0x3 + 0x80 .quad 0x0000000008a00000 + 0x3 + 0x80 .quad 0x0000000008c00000 + 0x3 + 0x80 .quad 0x0000000008e00000 + 0x3 + 0x80 .quad 0x0000000009000000 + 0x3 + 0x80 .quad 0x0000000009200000 + 0x3 + 0x80 .quad 0x0000000009400000 + 0x3 + 0x80 .quad 0x0000000009600000 + 0x3 + 0x80 .quad 0x0000000009800000 + 0x3 + 0x80 .quad 0x0000000009a00000 + 0x3 + 0x80 .quad 0x0000000009c00000 + 0x3 + 0x80 .quad 0x0000000009e00000 + 0x3 + 0x80 .quad 0x000000000a000000 + 0x3 + 0x80 .quad 0x000000000a200000 + 0x3 + 0x80 .quad 0x000000000a400000 + 0x3 + 0x80 .quad 0x000000000a600000 + 0x3 + 0x80 .quad 0x000000000a800000 + 0x3 + 0x80 .quad 0x000000000aa00000 + 0x3 + 0x80 .quad 0x000000000ac00000 + 0x3 + 0x80 .quad 0x000000000ae00000 + 0x3 + 0x80 .quad 0x000000000b000000 + 0x3 + 0x80 .quad 0x000000000b200000 + 0x3 + 0x80 .quad 0x000000000b400000 + 0x3 + 0x80 .quad 0x000000000b600000 + 0x3 + 0x80 .quad 0x000000000b800000 + 0x3 + 0x80 .quad 0x000000000ba00000 + 0x3 + 0x80 .quad 0x000000000bc00000 + 0x3 + 0x80 .quad 0x000000000be00000 + 0x3 + 0x80 .quad 0x000000000c000000 + 0x3 + 0x80 .quad 0x000000000c200000 + 0x3 + 0x80 .quad 0x000000000c400000 + 0x3 + 0x80 .quad 0x000000000c600000 + 0x3 + 0x80 .quad 0x000000000c800000 + 0x3 + 0x80 .quad 0x000000000ca00000 + 0x3 + 0x80 .quad 0x000000000cc00000 + 0x3 + 0x80 .quad 0x000000000ce00000 + 0x3 + 0x80 .quad 0x000000000d000000 + 0x3 + 0x80 .quad 0x000000000d200000 + 0x3 + 0x80 .quad 0x000000000d400000 + 0x3 + 0x80 .quad 0x000000000d600000 + 0x3 + 0x80 .quad 0x000000000d800000 + 0x3 + 0x80 .quad 0x000000000da00000 + 0x3 + 0x80 .quad 0x000000000dc00000 + 0x3 + 0x80 .quad 0x000000000de00000 + 0x3 + 0x80 .quad 0x000000000e000000 + 0x3 + 0x80 .quad 0x000000000e200000 + 0x3 + 0x80 .quad 0x000000000e400000 + 0x3 + 0x80 .quad 0x000000000e600000 + 0x3 + 0x80 .quad 0x000000000e800000 + 0x3 + 0x80 .quad 0x000000000ea00000 + 0x3 + 0x80 .quad 0x000000000ec00000 + 0x3 + 0x80 .quad 0x000000000ee00000 + 0x3 + 0x80 .quad 0x000000000f000000 + 0x3 + 0x80 .quad 0x000000000f200000 + 0x3 + 0x80 .quad 0x000000000f400000 + 0x3 + 0x80 .quad 0x000000000f600000 + 0x3 + 0x80 .quad 0x000000000f800000 + 0x3 + 0x80 .quad 0x000000000fa00000 + 0x3 + 0x80 .quad 0x000000000fc00000 + 0x3 + 0x80 .quad 0x000000000fe00000 + 0x3 + 0x80 .quad 0x0000000010000000 + 0x3 + 0x80 .quad 0x0000000010200000 + 0x3 + 0x80 .quad 0x0000000010400000 + 0x3 + 0x80 .quad 0x0000000010600000 + 0x3 + 0x80 .quad 0x0000000010800000 + 0x3 + 0x80 .quad 0x0000000010a00000 + 0x3 + 0x80 .quad 0x0000000010c00000 + 0x3 + 0x80 .quad 0x0000000010e00000 + 0x3 + 0x80 .quad 0x0000000011000000 + 0x3 + 0x80 .quad 0x0000000011200000 + 0x3 + 0x80 .quad 0x0000000011400000 + 0x3 + 0x80 .quad 0x0000000011600000 + 0x3 + 0x80 .quad 0x0000000011800000 + 0x3 + 0x80 .quad 0x0000000011a00000 + 0x3 + 0x80 .quad 0x0000000011c00000 + 0x3 + 0x80 .quad 0x0000000011e00000 + 0x3 + 0x80 .quad 0x0000000012000000 + 0x3 + 0x80 .quad 0x0000000012200000 + 0x3 + 0x80 .quad 0x0000000012400000 + 0x3 + 0x80 .quad 0x0000000012600000 + 0x3 + 0x80 .quad 0x0000000012800000 + 0x3 + 0x80 .quad 0x0000000012a00000 + 0x3 + 0x80 .quad 0x0000000012c00000 + 0x3 + 0x80 .quad 0x0000000012e00000 + 0x3 + 0x80 .quad 0x0000000013000000 + 0x3 + 0x80 .quad 0x0000000013200000 + 0x3 + 0x80 .quad 0x0000000013400000 + 0x3 + 0x80 .quad 0x0000000013600000 + 0x3 + 0x80 .quad 0x0000000013800000 + 0x3 + 0x80 .quad 0x0000000013a00000 + 0x3 + 0x80 .quad 0x0000000013c00000 + 0x3 + 0x80 .quad 0x0000000013e00000 + 0x3 + 0x80 .quad 0x0000000014000000 + 0x3 + 0x80 .quad 0x0000000014200000 + 0x3 + 0x80 .quad 0x0000000014400000 + 0x3 + 0x80 .quad 0x0000000014600000 + 0x3 + 0x80 .quad 0x0000000014800000 + 0x3 + 0x80 .quad 0x0000000014a00000 + 0x3 + 0x80 .quad 0x0000000014c00000 + 0x3 + 0x80 .quad 0x0000000014e00000 + 0x3 + 0x80 .quad 0x0000000015000000 + 0x3 + 0x80 .quad 0x0000000015200000 + 0x3 + 0x80 .quad 0x0000000015400000 + 0x3 + 0x80 .quad 0x0000000015600000 + 0x3 + 0x80 .quad 0x0000000015800000 + 0x3 + 0x80 .quad 0x0000000015a00000 + 0x3 + 0x80 .quad 0x0000000015c00000 + 0x3 + 0x80 .quad 0x0000000015e00000 + 0x3 + 0x80 .quad 0x0000000016000000 + 0x3 + 0x80 .quad 0x0000000016200000 + 0x3 + 0x80 .quad 0x0000000016400000 + 0x3 + 0x80 .quad 0x0000000016600000 + 0x3 + 0x80 .quad 0x0000000016800000 + 0x3 + 0x80 .quad 0x0000000016a00000 + 0x3 + 0x80 .quad 0x0000000016c00000 + 0x3 + 0x80 .quad 0x0000000016e00000 + 0x3 + 0x80 .quad 0x0000000017000000 + 0x3 + 0x80 .quad 0x0000000017200000 + 0x3 + 0x80 .quad 0x0000000017400000 + 0x3 + 0x80 .quad 0x0000000017600000 + 0x3 + 0x80 .quad 0x0000000017800000 + 0x3 + 0x80 .quad 0x0000000017a00000 + 0x3 + 0x80 .quad 0x0000000017c00000 + 0x3 + 0x80 .quad 0x0000000017e00000 + 0x3 + 0x80 .quad 0x0000000018000000 + 0x3 + 0x80 .quad 0x0000000018200000 + 0x3 + 0x80 .quad 0x0000000018400000 + 0x3 + 0x80 .quad 0x0000000018600000 + 0x3 + 0x80 .quad 0x0000000018800000 + 0x3 + 0x80 .quad 0x0000000018a00000 + 0x3 + 0x80 .quad 0x0000000018c00000 + 0x3 + 0x80 .quad 0x0000000018e00000 + 0x3 + 0x80 .quad 0x0000000019000000 + 0x3 + 0x80 .quad 0x0000000019200000 + 0x3 + 0x80 .quad 0x0000000019400000 + 0x3 + 0x80 .quad 0x0000000019600000 + 0x3 + 0x80 .quad 0x0000000019800000 + 0x3 + 0x80 .quad 0x0000000019a00000 + 0x3 + 0x80 .quad 0x0000000019c00000 + 0x3 + 0x80 .quad 0x0000000019e00000 + 0x3 + 0x80 .quad 0x000000001a000000 + 0x3 + 0x80 .quad 0x000000001a200000 + 0x3 + 0x80 .quad 0x000000001a400000 + 0x3 + 0x80 .quad 0x000000001a600000 + 0x3 + 0x80 .quad 0x000000001a800000 + 0x3 + 0x80 .quad 0x000000001aa00000 + 0x3 + 0x80 .quad 0x000000001ac00000 + 0x3 + 0x80 .quad 0x000000001ae00000 + 0x3 + 0x80 .quad 0x000000001b000000 + 0x3 + 0x80 .quad 0x000000001b200000 + 0x3 + 0x80 .quad 0x000000001b400000 + 0x3 + 0x80 .quad 0x000000001b600000 + 0x3 + 0x80 .quad 0x000000001b800000 + 0x3 + 0x80 .quad 0x000000001ba00000 + 0x3 + 0x80 .quad 0x000000001bc00000 + 0x3 + 0x80 .quad 0x000000001be00000 + 0x3 + 0x80 .quad 0x000000001c000000 + 0x3 + 0x80 .quad 0x000000001c200000 + 0x3 + 0x80 .quad 0x000000001c400000 + 0x3 + 0x80 .quad 0x000000001c600000 + 0x3 + 0x80 .quad 0x000000001c800000 + 0x3 + 0x80 .quad 0x000000001ca00000 + 0x3 + 0x80 .quad 0x000000001cc00000 + 0x3 + 0x80 .quad 0x000000001ce00000 + 0x3 + 0x80 .quad 0x000000001d000000 + 0x3 + 0x80 .quad 0x000000001d200000 + 0x3 + 0x80 .quad 0x000000001d400000 + 0x3 + 0x80 .quad 0x000000001d600000 + 0x3 + 0x80 .quad 0x000000001d800000 + 0x3 + 0x80 .quad 0x000000001da00000 + 0x3 + 0x80 .quad 0x000000001dc00000 + 0x3 + 0x80 .quad 0x000000001de00000 + 0x3 + 0x80 .quad 0x000000001e000000 + 0x3 + 0x80 .quad 0x000000001e200000 + 0x3 + 0x80 .quad 0x000000001e400000 + 0x3 + 0x80 .quad 0x000000001e600000 + 0x3 + 0x80 .quad 0x000000001e800000 + 0x3 + 0x80 .quad 0x000000001ea00000 + 0x3 + 0x80 .quad 0x000000001ec00000 + 0x3 + 0x80 .quad 0x000000001ee00000 + 0x3 + 0x80 .quad 0x000000001f000000 + 0x3 + 0x80 .quad 0x000000001f200000 + 0x3 + 0x80 .quad 0x000000001f400000 + 0x3 + 0x80 .quad 0x000000001f600000 + 0x3 + 0x80 .quad 0x000000001f800000 + 0x3 + 0x80 .quad 0x000000001fa00000 + 0x3 + 0x80 .quad 0x000000001fc00000 + 0x3 + 0x80 .quad 0x000000001fe00000 + 0x3 + 0x80 .quad 0x0000000020000000 + 0x3 + 0x80 .quad 0x0000000020200000 + 0x3 + 0x80 .quad 0x0000000020400000 + 0x3 + 0x80 .quad 0x0000000020600000 + 0x3 + 0x80 .quad 0x0000000020800000 + 0x3 + 0x80 .quad 0x0000000020a00000 + 0x3 + 0x80 .quad 0x0000000020c00000 + 0x3 + 0x80 .quad 0x0000000020e00000 + 0x3 + 0x80 .quad 0x0000000021000000 + 0x3 + 0x80 .quad 0x0000000021200000 + 0x3 + 0x80 .quad 0x0000000021400000 + 0x3 + 0x80 .quad 0x0000000021600000 + 0x3 + 0x80 .quad 0x0000000021800000 + 0x3 + 0x80 .quad 0x0000000021a00000 + 0x3 + 0x80 .quad 0x0000000021c00000 + 0x3 + 0x80 .quad 0x0000000021e00000 + 0x3 + 0x80 .quad 0x0000000022000000 + 0x3 + 0x80 .quad 0x0000000022200000 + 0x3 + 0x80 .quad 0x0000000022400000 + 0x3 + 0x80 .quad 0x0000000022600000 + 0x3 + 0x80 .quad 0x0000000022800000 + 0x3 + 0x80 .quad 0x0000000022a00000 + 0x3 + 0x80 .quad 0x0000000022c00000 + 0x3 + 0x80 .quad 0x0000000022e00000 + 0x3 + 0x80 .quad 0x0000000023000000 + 0x3 + 0x80 .quad 0x0000000023200000 + 0x3 + 0x80 .quad 0x0000000023400000 + 0x3 + 0x80 .quad 0x0000000023600000 + 0x3 + 0x80 .quad 0x0000000023800000 + 0x3 + 0x80 .quad 0x0000000023a00000 + 0x3 + 0x80 .quad 0x0000000023c00000 + 0x3 + 0x80 .quad 0x0000000023e00000 + 0x3 + 0x80 .quad 0x0000000024000000 + 0x3 + 0x80 .quad 0x0000000024200000 + 0x3 + 0x80 .quad 0x0000000024400000 + 0x3 + 0x80 .quad 0x0000000024600000 + 0x3 + 0x80 .quad 0x0000000024800000 + 0x3 + 0x80 .quad 0x0000000024a00000 + 0x3 + 0x80 .quad 0x0000000024c00000 + 0x3 + 0x80 .quad 0x0000000024e00000 + 0x3 + 0x80 .quad 0x0000000025000000 + 0x3 + 0x80 .quad 0x0000000025200000 + 0x3 + 0x80 .quad 0x0000000025400000 + 0x3 + 0x80 .quad 0x0000000025600000 + 0x3 + 0x80 .quad 0x0000000025800000 + 0x3 + 0x80 .quad 0x0000000025a00000 + 0x3 + 0x80 .quad 0x0000000025c00000 + 0x3 + 0x80 .quad 0x0000000025e00000 + 0x3 + 0x80 .quad 0x0000000026000000 + 0x3 + 0x80 .quad 0x0000000026200000 + 0x3 + 0x80 .quad 0x0000000026400000 + 0x3 + 0x80 .quad 0x0000000026600000 + 0x3 + 0x80 .quad 0x0000000026800000 + 0x3 + 0x80 .quad 0x0000000026a00000 + 0x3 + 0x80 .quad 0x0000000026c00000 + 0x3 + 0x80 .quad 0x0000000026e00000 + 0x3 + 0x80 .quad 0x0000000027000000 + 0x3 + 0x80 .quad 0x0000000027200000 + 0x3 + 0x80 .quad 0x0000000027400000 + 0x3 + 0x80 .quad 0x0000000027600000 + 0x3 + 0x80 .quad 0x0000000027800000 + 0x3 + 0x80 .quad 0x0000000027a00000 + 0x3 + 0x80 .quad 0x0000000027c00000 + 0x3 + 0x80 .quad 0x0000000027e00000 + 0x3 + 0x80 .quad 0x0000000028000000 + 0x3 + 0x80 .quad 0x0000000028200000 + 0x3 + 0x80 .quad 0x0000000028400000 + 0x3 + 0x80 .quad 0x0000000028600000 + 0x3 + 0x80 .quad 0x0000000028800000 + 0x3 + 0x80 .quad 0x0000000028a00000 + 0x3 + 0x80 .quad 0x0000000028c00000 + 0x3 + 0x80 .quad 0x0000000028e00000 + 0x3 + 0x80 .quad 0x0000000029000000 + 0x3 + 0x80 .quad 0x0000000029200000 + 0x3 + 0x80 .quad 0x0000000029400000 + 0x3 + 0x80 .quad 0x0000000029600000 + 0x3 + 0x80 .quad 0x0000000029800000 + 0x3 + 0x80 .quad 0x0000000029a00000 + 0x3 + 0x80 .quad 0x0000000029c00000 + 0x3 + 0x80 .quad 0x0000000029e00000 + 0x3 + 0x80 .quad 0x000000002a000000 + 0x3 + 0x80 .quad 0x000000002a200000 + 0x3 + 0x80 .quad 0x000000002a400000 + 0x3 + 0x80 .quad 0x000000002a600000 + 0x3 + 0x80 .quad 0x000000002a800000 + 0x3 + 0x80 .quad 0x000000002aa00000 + 0x3 + 0x80 .quad 0x000000002ac00000 + 0x3 + 0x80 .quad 0x000000002ae00000 + 0x3 + 0x80 .quad 0x000000002b000000 + 0x3 + 0x80 .quad 0x000000002b200000 + 0x3 + 0x80 .quad 0x000000002b400000 + 0x3 + 0x80 .quad 0x000000002b600000 + 0x3 + 0x80 .quad 0x000000002b800000 + 0x3 + 0x80 .quad 0x000000002ba00000 + 0x3 + 0x80 .quad 0x000000002bc00000 + 0x3 + 0x80 .quad 0x000000002be00000 + 0x3 + 0x80 .quad 0x000000002c000000 + 0x3 + 0x80 .quad 0x000000002c200000 + 0x3 + 0x80 .quad 0x000000002c400000 + 0x3 + 0x80 .quad 0x000000002c600000 + 0x3 + 0x80 .quad 0x000000002c800000 + 0x3 + 0x80 .quad 0x000000002ca00000 + 0x3 + 0x80 .quad 0x000000002cc00000 + 0x3 + 0x80 .quad 0x000000002ce00000 + 0x3 + 0x80 .quad 0x000000002d000000 + 0x3 + 0x80 .quad 0x000000002d200000 + 0x3 + 0x80 .quad 0x000000002d400000 + 0x3 + 0x80 .quad 0x000000002d600000 + 0x3 + 0x80 .quad 0x000000002d800000 + 0x3 + 0x80 .quad 0x000000002da00000 + 0x3 + 0x80 .quad 0x000000002dc00000 + 0x3 + 0x80 .quad 0x000000002de00000 + 0x3 + 0x80 .quad 0x000000002e000000 + 0x3 + 0x80 .quad 0x000000002e200000 + 0x3 + 0x80 .quad 0x000000002e400000 + 0x3 + 0x80 .quad 0x000000002e600000 + 0x3 + 0x80 .quad 0x000000002e800000 + 0x3 + 0x80 .quad 0x000000002ea00000 + 0x3 + 0x80 .quad 0x000000002ec00000 + 0x3 + 0x80 .quad 0x000000002ee00000 + 0x3 + 0x80 .quad 0x000000002f000000 + 0x3 + 0x80 .quad 0x000000002f200000 + 0x3 + 0x80 .quad 0x000000002f400000 + 0x3 + 0x80 .quad 0x000000002f600000 + 0x3 + 0x80 .quad 0x000000002f800000 + 0x3 + 0x80 .quad 0x000000002fa00000 + 0x3 + 0x80 .quad 0x000000002fc00000 + 0x3 + 0x80 .quad 0x000000002fe00000 + 0x3 + 0x80 .quad 0x0000000030000000 + 0x3 + 0x80 .quad 0x0000000030200000 + 0x3 + 0x80 .quad 0x0000000030400000 + 0x3 + 0x80 .quad 0x0000000030600000 + 0x3 + 0x80 .quad 0x0000000030800000 + 0x3 + 0x80 .quad 0x0000000030a00000 + 0x3 + 0x80 .quad 0x0000000030c00000 + 0x3 + 0x80 .quad 0x0000000030e00000 + 0x3 + 0x80 .quad 0x0000000031000000 + 0x3 + 0x80 .quad 0x0000000031200000 + 0x3 + 0x80 .quad 0x0000000031400000 + 0x3 + 0x80 .quad 0x0000000031600000 + 0x3 + 0x80 .quad 0x0000000031800000 + 0x3 + 0x80 .quad 0x0000000031a00000 + 0x3 + 0x80 .quad 0x0000000031c00000 + 0x3 + 0x80 .quad 0x0000000031e00000 + 0x3 + 0x80 .quad 0x0000000032000000 + 0x3 + 0x80 .quad 0x0000000032200000 + 0x3 + 0x80 .quad 0x0000000032400000 + 0x3 + 0x80 .quad 0x0000000032600000 + 0x3 + 0x80 .quad 0x0000000032800000 + 0x3 + 0x80 .quad 0x0000000032a00000 + 0x3 + 0x80 .quad 0x0000000032c00000 + 0x3 + 0x80 .quad 0x0000000032e00000 + 0x3 + 0x80 .quad 0x0000000033000000 + 0x3 + 0x80 .quad 0x0000000033200000 + 0x3 + 0x80 .quad 0x0000000033400000 + 0x3 + 0x80 .quad 0x0000000033600000 + 0x3 + 0x80 .quad 0x0000000033800000 + 0x3 + 0x80 .quad 0x0000000033a00000 + 0x3 + 0x80 .quad 0x0000000033c00000 + 0x3 + 0x80 .quad 0x0000000033e00000 + 0x3 + 0x80 .quad 0x0000000034000000 + 0x3 + 0x80 .quad 0x0000000034200000 + 0x3 + 0x80 .quad 0x0000000034400000 + 0x3 + 0x80 .quad 0x0000000034600000 + 0x3 + 0x80 .quad 0x0000000034800000 + 0x3 + 0x80 .quad 0x0000000034a00000 + 0x3 + 0x80 .quad 0x0000000034c00000 + 0x3 + 0x80 .quad 0x0000000034e00000 + 0x3 + 0x80 .quad 0x0000000035000000 + 0x3 + 0x80 .quad 0x0000000035200000 + 0x3 + 0x80 .quad 0x0000000035400000 + 0x3 + 0x80 .quad 0x0000000035600000 + 0x3 + 0x80 .quad 0x0000000035800000 + 0x3 + 0x80 .quad 0x0000000035a00000 + 0x3 + 0x80 .quad 0x0000000035c00000 + 0x3 + 0x80 .quad 0x0000000035e00000 + 0x3 + 0x80 .quad 0x0000000036000000 + 0x3 + 0x80 .quad 0x0000000036200000 + 0x3 + 0x80 .quad 0x0000000036400000 + 0x3 + 0x80 .quad 0x0000000036600000 + 0x3 + 0x80 .quad 0x0000000036800000 + 0x3 + 0x80 .quad 0x0000000036a00000 + 0x3 + 0x80 .quad 0x0000000036c00000 + 0x3 + 0x80 .quad 0x0000000036e00000 + 0x3 + 0x80 .quad 0x0000000037000000 + 0x3 + 0x80 .quad 0x0000000037200000 + 0x3 + 0x80 .quad 0x0000000037400000 + 0x3 + 0x80 .quad 0x0000000037600000 + 0x3 + 0x80 .quad 0x0000000037800000 + 0x3 + 0x80 .quad 0x0000000037a00000 + 0x3 + 0x80 .quad 0x0000000037c00000 + 0x3 + 0x80 .quad 0x0000000037e00000 + 0x3 + 0x80 .quad 0x0000000038000000 + 0x3 + 0x80 .quad 0x0000000038200000 + 0x3 + 0x80 .quad 0x0000000038400000 + 0x3 + 0x80 .quad 0x0000000038600000 + 0x3 + 0x80 .quad 0x0000000038800000 + 0x3 + 0x80 .quad 0x0000000038a00000 + 0x3 + 0x80 .quad 0x0000000038c00000 + 0x3 + 0x80 .quad 0x0000000038e00000 + 0x3 + 0x80 .quad 0x0000000039000000 + 0x3 + 0x80 .quad 0x0000000039200000 + 0x3 + 0x80 .quad 0x0000000039400000 + 0x3 + 0x80 .quad 0x0000000039600000 + 0x3 + 0x80 .quad 0x0000000039800000 + 0x3 + 0x80 .quad 0x0000000039a00000 + 0x3 + 0x80 .quad 0x0000000039c00000 + 0x3 + 0x80 .quad 0x0000000039e00000 + 0x3 + 0x80 .quad 0x000000003a000000 + 0x3 + 0x80 .quad 0x000000003a200000 + 0x3 + 0x80 .quad 0x000000003a400000 + 0x3 + 0x80 .quad 0x000000003a600000 + 0x3 + 0x80 .quad 0x000000003a800000 + 0x3 + 0x80 .quad 0x000000003aa00000 + 0x3 + 0x80 .quad 0x000000003ac00000 + 0x3 + 0x80 .quad 0x000000003ae00000 + 0x3 + 0x80 .quad 0x000000003b000000 + 0x3 + 0x80 .quad 0x000000003b200000 + 0x3 + 0x80 .quad 0x000000003b400000 + 0x3 + 0x80 .quad 0x000000003b600000 + 0x3 + 0x80 .quad 0x000000003b800000 + 0x3 + 0x80 .quad 0x000000003ba00000 + 0x3 + 0x80 .quad 0x000000003bc00000 + 0x3 + 0x80 .quad 0x000000003be00000 + 0x3 + 0x80 .quad 0x000000003c000000 + 0x3 + 0x80 .quad 0x000000003c200000 + 0x3 + 0x80 .quad 0x000000003c400000 + 0x3 + 0x80 .quad 0x000000003c600000 + 0x3 + 0x80 .quad 0x000000003c800000 + 0x3 + 0x80 .quad 0x000000003ca00000 + 0x3 + 0x80 .quad 0x000000003cc00000 + 0x3 + 0x80 .quad 0x000000003ce00000 + 0x3 + 0x80 .quad 0x000000003d000000 + 0x3 + 0x80 .quad 0x000000003d200000 + 0x3 + 0x80 .quad 0x000000003d400000 + 0x3 + 0x80 .quad 0x000000003d600000 + 0x3 + 0x80 .quad 0x000000003d800000 + 0x3 + 0x80 .quad 0x000000003da00000 + 0x3 + 0x80 .quad 0x000000003dc00000 + 0x3 + 0x80 .quad 0x000000003de00000 + 0x3 + 0x80 .quad 0x000000003e000000 + 0x3 + 0x80 .quad 0x000000003e200000 + 0x3 + 0x80 .quad 0x000000003e400000 + 0x3 + 0x80 .quad 0x000000003e600000 + 0x3 + 0x80 .quad 0x000000003e800000 + 0x3 + 0x80 .quad 0x000000003ea00000 + 0x3 + 0x80 .quad 0x000000003ec00000 + 0x3 + 0x80 .quad 0x000000003ee00000 + 0x3 + 0x80 .quad 0x000000003f000000 + 0x3 + 0x80 .quad 0x000000003f200000 + 0x3 + 0x80 .quad 0x000000003f400000 + 0x3 + 0x80 .quad 0x000000003f600000 + 0x3 + 0x80 .quad 0x000000003f800000 + 0x3 + 0x80 .quad 0x000000003fa00000 + 0x3 + 0x80 .quad 0x000000003fc00000 + 0x3 + 0x80 .quad 0x000000003fe00000 + 0x3 + 0x80 .align 0x1000 cpu_pdpt: .quad cpu_pd + 0x3 .fill 0x1ff, 0x8, 0x0 .align 0x1000 cpu_pml4: .quad cpu_pdpt + 0x3 .fill 0x1ff, 0x8, 0x0