From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:56961) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZPVrI-0007TS-Ar for qemu-devel@nongnu.org; Wed, 12 Aug 2015 09:14:21 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZPVrE-0002bp-Bn for qemu-devel@nongnu.org; Wed, 12 Aug 2015 09:14:20 -0400 Received: from mx1.redhat.com ([209.132.183.28]:35653) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZPVrE-0002bg-7D for qemu-devel@nongnu.org; Wed, 12 Aug 2015 09:14:16 -0400 References: <1438966995-5913-1-git-send-email-a.rigo@virtualopensystems.com> <1438966995-5913-4-git-send-email-a.rigo@virtualopensystems.com> <55CB3F7B.8080105@redhat.com> From: Paolo Bonzini Message-ID: <55CB46A1.2000701@redhat.com> Date: Wed, 12 Aug 2015 15:14:09 +0200 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [RFC v4 3/9] softmmu: Add helpers for a new slowpath List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: alvise rigo Cc: mttcg@greensocs.com, Claudio Fontana , QEMU Developers , Jani Kokkonen , VirtualOpenSystems Technical Team , =?UTF-8?Q?Alex_Benn=c3=a9e?= 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