From mboxrd@z Thu Jan  1 00:00:00 1970
From: Tim Deegan <tim@xen.org>
Subject: Re: [PATCH] xen: arm32: Use system wide TLB flushes,
	not just inner-shareable
Date: Fri, 8 Feb 2013 15:43:49 +0000
Message-ID: <20130208154349.GA93591@ocelot.phlegethon.org>
References: <1360338056-31812-1-git-send-email-ian.campbell@citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
Content-Disposition: inline
In-Reply-To: <1360338056-31812-1-git-send-email-ian.campbell@citrix.com>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Ian Campbell <ian.campbell@citrix.com>
Cc: Stefano Stabellini <Stefano.Stabellini@eu.citrix.com>, xen-devel@lists.xen.org
List-Id: xen-devel@lists.xenproject.org

At 15:40 +0000 on 08 Feb (1360338056), Ian Campbell wrote:
> We currently setup page table walks etc as outer-shareable. Given we don't
> really make the distinction between inner- and outer-shareable yet err on
> theside of safety.
> 
> Signed-off-by: Ian Campbell <ian.campbell@citrix.com>

Acked-by: Tim Deegan <tim@xen.org>

> Cc: Stefano Stabellini <Stefano.Stabellini@eu.citrix.com>
> Cc: Tim Deegan <tim@xen.org>
> ---
>  xen/include/asm-arm/flushtlb.h |    4 ++--
>  1 files changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/xen/include/asm-arm/flushtlb.h b/xen/include/asm-arm/flushtlb.h
> index 210abfa..5067e5d 100644
> --- a/xen/include/asm-arm/flushtlb.h
> +++ b/xen/include/asm-arm/flushtlb.h
> @@ -19,7 +19,7 @@ static inline void flush_tlb_local(void)
>  {
>      dsb();
>  
> -    WRITE_CP32((uint32_t) 0, TLBIALLIS);
> +    WRITE_CP32((uint32_t) 0, TLBIALL);
>  
>      dsb();
>      isb();
> @@ -30,7 +30,7 @@ static inline void flush_tlb_all_local(void)
>  {
>      dsb();
>  
> -    WRITE_CP32((uint32_t) 0, TLBIALLNSNHIS);
> +    WRITE_CP32((uint32_t) 0, TLBIALLNSNH);
>  
>      dsb();
>      isb();
> -- 
> 1.7.9.1
>