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. Paolo