On Fri, Feb 22, 2019 at 06:30:51PM +0100, Paolo Bonzini wrote: > On 15/02/19 21:48, Sean Christopherson wrote: > > - Only run vcpu ioctls from the same thread that was used to create the > > - vcpu. > > + vcpu ioctls ust be issued from the same thread that was used to create > > + the vcpu. > > This actually can be a bit more lenient. Switching thread can have a > big performance impact, but it is not invalid. Since I have to correct > that "ust" I'll clarify. I suspected as much but obviously wasn't confident enough to make the change :-)