On Fri, Aug 23, 2024, Sean Christopherson wrote: > On Thu, Aug 22, 2024, Sean Christopherson wrote: > Intel support is especially misleading, because sharing page tables between EPT > and IA32 is rather nonsensical due to them having different formats. I.e. I doubt > Paolo had a use case for the VMX changes, and was just providing parity with SVM. > Of course, reusing L1's page tables as the NPT tables for L2 is quite crazy too, Actually, it's not _that_ crazy, e.g. KVM s390 does this for last-level page tables so that changes to the host userspace mappings don't require mmu_notifier-induced changes in KVM. > but at least the PTE formats are identical.