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). Paolo