> On 8 Aug 2023, at 12:07, Michal Orzel <michal.or...@amd.com> wrote:
>
> Instead of repeating the same sequence of instructions to flush the TLBs
> in various places, introduce a macro flush_xen_tlb_local and make use of
> it. This is similar to what was done for arm32 by the commit:
> dea9dddeceec8a1d68da24b14d5b2396effe555f
>
> This is also making the flush sequence in enable_mmu more clear and
> consistent.
>
> Signed-off-by: Michal Orzel <michal.or...@amd.com>
> ---
Hi Michal,
Looks good to me
Reviewed-by: Luca Fancellu <luca.fance...@arm.com>
