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