Re: [Xen-devel] [PATCH 04/24] xen/arm: mm: Introduce clear_table and use it

2017-06-15 Thread Julien Grall
Hi Stefano, On 15/06/2017 23:31, Stefano Stabellini wrote: On Tue, 13 Jun 2017, Julien Grall wrote: Add a new helper clear_table to clear a page table entry and invalidate the cache. Signed-off-by: Julien Grall --- xen/arch/arm/mm.c | 22 -- 1 file changed, 12 insertions(

Re: [Xen-devel] [PATCH 04/24] xen/arm: mm: Introduce clear_table and use it

2017-06-15 Thread Stefano Stabellini
On Tue, 13 Jun 2017, Julien Grall wrote: > Add a new helper clear_table to clear a page table entry and invalidate > the cache. > > Signed-off-by: Julien Grall > --- > xen/arch/arm/mm.c | 22 -- > 1 file changed, 12 insertions(+), 10 deletions(-) > > diff --git a/xen/arch/ar

[Xen-devel] [PATCH 04/24] xen/arm: mm: Introduce clear_table and use it

2017-06-13 Thread Julien Grall
Add a new helper clear_table to clear a page table entry and invalidate the cache. Signed-off-by: Julien Grall --- xen/arch/arm/mm.c | 22 -- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/xen/arch/arm/mm.c b/xen/arch/arm/mm.c index 082c872c72..b4ff777b55 100