Re: [PATCH 0/7] xen/arm: Add some missing ISBs after updating the PTEs

[Julien Grall <julien@xxxxxxx>]

Hi,

On 19/06/2023 18:01, Julien Grall wrote:
> From: Julien Grall <jgrall@xxxxxxxxxx>
>
> Hi all,
>
> The main goal of this series is to add some missing ISBs after update
> the PTEs.
>
> The last patch is re-ingesting a patch that was reverted
> due to a boot failure on the Arndale. This has now been fixed by patch
> #2.
>
> Cheers,
>
> Julien Grall (7):
>    xen/arm32: head: Add missing isb in setup_fixmap()
>    xen/arm32: head: Add mising isb in switch_to_runtime_mapping()
>    xen/arm64: head: Add missing isb in setup_fixmap()
>    xen/arm: page: Consolidate write_pte() and clarify the documentation
>    xen/arm: pmap: Add missing ISB in arch_pmap_map()
>    xen/arm: mm: Add missing ISB in xen_pt_update()
I have committed the first 6 patches.

>    xen/arm32: head: Widen the use of the temporary mapping
This patch has non trivial clash with the USBAN series which has been 
recently committed. So I will send a new version.
Cheers,

--
Julien Grall