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

[Julien Grall <julien@xxxxxxx>]

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()
  xen/arm32: head: Widen the use of the temporary mapping

 xen/arch/arm/arm32/head.S             | 96 ++++++++-------------------
 xen/arch/arm/arm64/head.S             |  5 ++
 xen/arch/arm/include/asm/arm32/page.h | 16 -----
 xen/arch/arm/include/asm/arm64/page.h | 11 ---
 xen/arch/arm/include/asm/page.h       | 17 +++++
 xen/arch/arm/include/asm/pmap.h       |  5 ++
 xen/arch/arm/mm.c                     | 14 ++++
 7 files changed, 67 insertions(+), 97 deletions(-)

-- 
2.40.1