Hi,

In https://patchew.org/Xen/20231116145032.1651305-1-Henry.Wang@arm.com/, Henry has
reorganized some of the code between the MMU specific and generic files.

In this patch serie, we address the remaining code reorg so that MMU specific
code is cleanly separated and we have added stubs wherever necessary to avoid
introducing if-def.

Ayan Kumar Halder (4):
  xen: arm: Add an empty stub for update_identity_mapping()
  xen: arm: make VMAP only support in MMU system
  xen: arm: Move the functions of domain_page to MMU specific
  xen: arm: Enclose access to EL2 MMU specific registers under
    CONFIG_MMU

 xen/arch/arm/Kconfig                |   6 +-
 xen/arch/arm/Makefile               |   2 +-
 xen/arch/arm/domain_page.c          | 161 +----------------------
 xen/arch/arm/include/asm/arm32/mm.h |  12 ++
 xen/arch/arm/include/asm/arm64/mm.h |   6 +
 xen/arch/arm/mmu/Makefile           |   1 +
 xen/arch/arm/mmu/domain_page.c      | 194 ++++++++++++++++++++++++++++
 xen/arch/arm/setup.c                |   4 +
 xen/arch/arm/smpboot.c              |   2 +
 xen/arch/arm/traps.c                |   6 +-
 xen/include/xen/vmap.h              |   6 +
 11 files changed, 242 insertions(+), 158 deletions(-)
 create mode 100644 xen/arch/arm/mmu/domain_page.c

-- 
2.25.1