On Fri, Sep 21, 2018 at 10:57 AM, Sean Christopherson <sean.j.christopherson@xxxxxxxxx> wrote: > Is there any chance that DR6_RTM could be cleared in arch.dr6 without > HLE/RTM being exposed to the guest? I.e. should we explicitly clear > DR6_RTM if !HLE && !RTM? That would be a bug. Section 17.2.3 of the SDM (volume 3) says: "This bit is always 1 if the processor does not support RTM."