On Fri, Sep 11, 2020 at 8:36 AM Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > > On 31/08/20 23:55, Jim Mattson wrote: > > Moreover, older AMD hardware never sets bits 32 or 33 at all. > > Interesting, I didn't know this. Is it documented at all? You'll have to find an old version of the APM. For example, see page 56 of http://www.0x04.net/doc/amd/33047.pdf (this was back when SVM was a separate document).