From: Michal Orzel <michal.orzel@amd.com>
Date: Sun, 30 Mar 2025 18:03:07 +0000 (+0200)
Subject: xen/arm32: Allow ARM_PA_BITS_40 only if !MPU
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=50974cecf43ad89b38a86d092cb8edf9d867f0d6;p=people%2Fandrewcoop%2Fxen.git

xen/arm32: Allow ARM_PA_BITS_40 only if !MPU

ArmV8-R AArch32 does not support LPAE. The reason being PMSAv8-32
supports 32-bit physical address only.

Signed-off-by: Michal Orzel <michal.orzel@amd.com>
Signed-off-by: Ayan Kumar Halder <ayan.kumar.halder@amd.com>
Acked-by: Julien Grall <jgrall@amazon.com>
---

diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index ffdff1f0a3..466b7db63c 100644
--- a/xen/arch/arm/Kconfig
+++ b/xen/arch/arm/Kconfig
@@ -58,7 +58,7 @@ config ARM_PA_BITS_32
 
 config ARM_PA_BITS_40
 	bool "40-bit"
-	depends on ARM_32
+	depends on ARM_32 && !MPU
 endchoice
 
 config PADDR_BITS