Maybe just use VIRTUAL_ADDRESS above, pretty much identical EPT: PML4 table is located at the physical address specified in bits 51:12 of the EPTP - PML4 entry is then selected from Bits 11:3 are bits 47:39 of the guest-physical address Physical addresses as long
