On 12/08/2015 15:09, alvise rigo wrote: > 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.
Ok, if we had to it's just a matter of adding a TLB flush here. Paolo