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