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

Paolo

Reply via email to