Charlie Jacobsen authored Feb 09, 2016 and Vikram Narayanan committed Oct 26, 2016

The boot physical address space fits in the first 512 GBs.
The boot virtual address maps this to the high 512 GBs. In this
way, the kernel module code will be loaded at the address it was
linked for.

Address spaces designed for 1 GB huge guest virtual pages. The
hope is this address will be big enough for a lot of use cases,
so the code inside the LCD won't ever need to touch the guest
virtual address space (just physical).