* C000 00000000 - D000 00000000 44 16 TiB Hardware Mappings
* D000 00000000 - D080 00000000 39 512 GiB Per-Process Data
* D080 00000000 - D100 00000000 39 512 GiB Kernel Supplied User Code
- * ---- GAP ---- 9 TiB
+ * ---- GAP ---- 15 TiB
* E000 00000000 - E400 00000000 42 4 TiB Physical Page Reference Counts (2**40 = 2**52 bytes)
* E400 00000000 - E480 00000000 39 512 GiB Physical Page Bitmap (1 page per bit)
* E480 00000000 - E500 00000000 39 512 GiB Physical Page DblAlloc Bitmap (1 page per bit)
* FE00 00000000 - FE80 00000000 39 512 GiB Fractal Mapping (PML4 508)
* FE80 00000000 - FF00 00000000 39 512 GiB Temp Fractal Mapping
* ---- GAP ---- 512 GiB -- UNUSED --
- * FF80 00000000 - FF80 80000000 39 2 GiB Local APIC
+ * FF80 00000000 - FF80 80000000 31 2 GiB Local APIC
* ---- GAP ----
* FFFF 00000000 - FFFF 80000000 31 2 GiB User Code
* FFFF 80000000 - FFFF FFFFFFFF 31 2 GiB Identity Map