On Tue, Dec 10, 2019 at 10:19:57AM +0100, Paolo Bonzini wrote: > On 04/12/19 16:48, Sean Christopherson wrote: > >> + /* > >> + * Quite weird to have VMX or SVM but not MAXPHYADDR; probably a VM with > >> + * custom CPUID. Proceed with whatever the kernel found since these features > >> + * aren't virtualizable (SME/SEV also require CPUIDs higher than 0x80000008). > > No love for MKTME? :-D > > I admit I didn't check, but does MKTME really require CPUID leaves in > the "AMD range"? (My machines have 0x80000008 as the highest supported > leaf in that range). Ah, no, I just misunderstood what the blurb in the parentheses was saying.