On Thu, Apr 18, 2019 at 06:58:01PM +0200, Paolo Bonzini wrote: > On 18/04/19 18:56, Sean Christopherson wrote: > > For simplicity, flush all CPUs if the guest neglected to set processor_mask. > > We don't know if it neglected to set processor_mask or the flag... Were you a lawyer before becoming a maintainer? :-) Yeah, go with your version, I'll get out of the way...