This series continues to further the ongoing work to introduce support
for MPU systems in Xen.

The patches in this series aim to implement MPU specific p2m functions.

This serie is based on staging 99912d346009fda1e7fb1510c9501fbab17e92a0.

Harry Ramsey (2):
  arm/mpu: Introduce `v8r_el1_msa` device tree property for domains
  arm/mpu: Implement p2m tables

Penny Zheng (1):
  arm/mpu: implement setup_virt_paging for MPU systems

 docs/misc/arm/device-tree/booting.txt       | 14 ++++
 xen/arch/arm/arm64/mpu/p2m.c                | 80 ++++++++++++++++++++-
 xen/arch/arm/dom0less-build.c               |  3 +
 xen/arch/arm/domain.c                       |  4 ++
 xen/arch/arm/include/asm/arm32/mpu.h        |  2 +
 xen/arch/arm/include/asm/arm64/mpu.h        |  2 +
 xen/arch/arm/include/asm/arm64/sysregs.h    |  4 ++
 xen/arch/arm/include/asm/cpufeature.h       | 13 +++-
 xen/arch/arm/include/asm/domain.h           |  4 ++
 xen/arch/arm/include/asm/domain_build.h     |  8 +++
 xen/arch/arm/include/asm/mmu/domain-build.h | 46 ++++++++++++
 xen/arch/arm/include/asm/mpu.h              |  5 ++
 xen/arch/arm/include/asm/mpu/domain-build.h | 27 +++++++
 xen/arch/arm/include/asm/mpu/p2m.h          | 12 ++++
 xen/arch/arm/include/asm/p2m.h              |  5 ++
 xen/arch/arm/include/asm/processor.h        |  8 +++
 xen/arch/arm/mpu/Makefile                   |  1 +
 xen/arch/arm/mpu/arm32/mm.c                 |  5 ++
 xen/arch/arm/mpu/arm64/mm.c                 |  5 ++
 xen/arch/arm/mpu/domain-build.c             | 76 ++++++++++++++++++++
 xen/arch/arm/mpu/p2m.c                      | 78 +++++++++++++++++++-
 xen/include/public/arch-arm.h               |  7 ++
 xen/include/public/domctl.h                 |  4 +-
 23 files changed, 404 insertions(+), 9 deletions(-)
 create mode 100644 xen/arch/arm/include/asm/mmu/domain-build.h
 create mode 100644 xen/arch/arm/include/asm/mpu/domain-build.h
 create mode 100644 xen/arch/arm/mpu/domain-build.c

-- 
2.34.1