Re: [PATCH RESEND v3 1/2] mm/tlb: skip redundant IPI when TLB flush already synchronized

[David Hildenbrand (Red Hat)]

> > What could work is tracking "tlb_table_flush_sent_ipi" really when we
> > are flushing the TLB for removed/unshared tables, and maybe resetting
> > it ... I don't know when from the top of my head.
>
> Not sure what's the best way forward here :(
>
> > v2 was simpler IMHO.
>
> The main concern Dave raised was that with PV hypercalls or when
> INVLPGB is available, we can't tell from a static check whether IPIs
> were actually sent.

Why can't we set the boolean at runtime when initializing the pv_ops 
structure, when we are sure that it is allowed?

--
Cheers

David