On 25/11/19 18:45, Jim Mattson wrote: > I would call that an opt-out cap, rather than an opt-in cap. That is, > we'd like to opt-out from the ABI change. I was going to go ahead and > do it, but it looks like Paolo has accepted the change as it is. Yes, your experience has proved that guests are not annoyed by the discrepancy between VMX_INSIDE_SMX and the actual lack of SMX, so it's pointless to complicate the code. Paolo