Yes, it could. However, it's really unlikely that a vCPU, after issuing a LL to the virtual address x, it stores to the same phys address using the virtual address y.
I'm not really sure If we really need to handle these cases. alvise On Wed, Aug 12, 2015 at 2:43 PM, Paolo Bonzini <pbonz...@redhat.com> wrote: > > > On 07/08/2015 19:03, Alvise Rigo wrote: >> + >> + /* For this vCPU, just update the TLB entry, no need to flush. */ >> + env->tlb_table[mmu_idx][index].addr_write |= TLB_EXCL; > > Couldn't this vCPU also have two aliasing entries in the TLB? > > Paolo
