On Thu, Nov 16, 2017 at 12:00:45PM +0100, Paolo Bonzini wrote:
> On 15/11/2017 22:11, Konrad Rzeszutek Wilk wrote:
> > If we migrate to another host that does not expose this, should the
> > flush_tlb_others be reset back to the generic one? Or we don't care that
> > much ?
> 
> Migration to a host that does not expose the feature would be a
> configuration error.

Right, so should there be an check somewhere to disallow this <lots of hand 
waving>?
Or at least print out a "Hey, this is not a good idea!"

> 
> Paolo

Reply via email to