On Thu, Jul 9, 2020 at 2:44 AM Gerd Hoffmann <kraxel(a)redhat.com> wrote:
(2) GUEST_MAXPHYADDR < HOST_MAXPHYADDR
Mostly fine. Some edge cases, like different page fault errors for
addresses above GUEST_MAXPHYADDR and below HOST_MAXPHYADDR. Which I
think Mohammed fixed in the kernel recently.
Doesn't this require intercepting MOV-to-CR3 when the guest is in PAE
mode, so that the hypervisor can validate the high bits in the PDPTEs?