Hi Julien,
> -----Original Message-----
> Subject: [PATCH v4 04/14] xen/arm: flushtlb: Reduce scope of barrier for the
> TLB range flush
>
> From: Julien Grall <jgr...@amazon.com>
>
> At the moment, flush_xen_tlb_range_va{,_local}() are using system
> wide memory barrier. This is quite expensive and unnecessary.
>
> For the local version, a non-shareable barrier is sufficient.
> For the SMP version, an inner-shareable barrier is sufficient.
>
> Furthermore, the initial barrier only needs to a store barrier.
>
> For the full explanation of the sequence see asm/arm{32,64}/flushtlb.h.
>
> Signed-off-by: Julien Grall <jgr...@amazon.com>
> Reviewed-by: Michal Orzel <michal.or...@amd.com>
Reviewed-by: Henry Wang <henry.w...@arm.com>
Kind regards,
Henry
