Hi,
On 19/06/2023 18:01, Julien Grall wrote:
> From: Julien Grall <jgrall@amazon.com>
>
> 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