From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH v5 08/10] xen/arm: Add relinquish_p2m_mapping to remove reference on every mapped page Date: Tue, 17 Dec 2013 14:45:19 +0000 Message-ID: <52B0637F.1030308@linaro.org> References: <1387215452-10951-1-git-send-email-julien.grall@linaro.org> <1387215452-10951-9-git-send-email-julien.grall@linaro.org> <1387272410.21086.60.camel@kazak.uk.xensource.com> <52B0624F.50200@linaro.org> <1387291341.27441.67.camel@kazak.uk.xensource.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: Received: from mail6.bemta5.messagelabs.com ([195.245.231.135]) by lists.xen.org with esmtp (Exim 4.72) (envelope-from ) id 1Vsvtm-0003jY-AC for xen-devel@lists.xenproject.org; Tue, 17 Dec 2013 14:45:26 +0000 Received: by mail-ee0-f48.google.com with SMTP id e49so2924270eek.7 for ; Tue, 17 Dec 2013 06:45:24 -0800 (PST) In-Reply-To: <1387291341.27441.67.camel@kazak.uk.xensource.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Ian Campbell Cc: xen-devel@lists.xenproject.org, tim@xen.org, Jan Beulich , stefano.stabellini@citrix.com, patches@linaro.org List-Id: xen-devel@lists.xenproject.org On 12/17/2013 02:42 PM, Ian Campbell wrote: > On Tue, 2013-12-17 at 14:40 +0000, Julien Grall wrote: >> On 12/17/2013 09:26 AM, Ian Campbell wrote: >>> On Mon, 2013-12-16 at 17:37 +0000, Julien Grall wrote: >>>> + if ( op == RELINQUISH && count == LPAE_ENTRIES && >>>> + hypercall_preempt_check() ) >>>> + { >>> >>> If hypercall_preempt_check returns false the first time it is called >>> then you won't ever try again. I think you want >>> (count+1 % LPAE_ENTRIES) == 0 >>> (the +1 avoids preempting without having done any work yet) >> >> I don't think we need +1 because count is increment each round just >> before the check. > > Ah yes, if the increment has already happened then good. > >> Is a solution as Jan made for x86 would be more appropriate? > > It's about equivalent I think? I'd hope the compiler would take a mod > 2^N and turn it into a mask, but I suppose you never know... I was talking about adding a greater increment when it's a foreign mapping. -- Julien Grall