On 12/01/21 00:01, Sean Christopherson wrote:
Perhaps cpuid_query_maxphyaddr() should just look at the low 5 bits of CPUID.80000008H:EAX?
The low 6 bits I guess---yes, that would make sense and it would have also fixed the bug.
(Nevertheless it's a good idea to make rsvd_bits more robust as well, as in the commit that Sean referenced.
Paolo
