I think that tlb_flush_entry is not enough, since in theory another vCPU could have a different TLB address referring the same phys address.
alvise On Tue, Aug 11, 2015 at 6:32 PM, Paolo Bonzini <pbonz...@redhat.com> wrote: > > > On 11/08/2015 18:11, alvise rigo wrote: >>> > Why flush the entire cache (I understand you mean TLB)? >> Sorry, I meant the TLB. >> If for each removal of an exclusive entry we set also the bit to 1, we >> force the following LL to make a tlb_flush() on every vCPU. > > What if you only flush one entry with tlb_flush_entry (on every vCPU)? > > Paolo