The pabits, t0sz, root_order and sl0 values are the same as those for
ARM_64.
Signed-off-by: Ayan Kumar Halder <ayan.kumar.hal...@amd.com>
---
Changes from -
v1 - New patch.
v2 - 1. Added Ack.
v3 - 1. Dropped Ack.
2. Rebased the patch based on the previous change.
xen/arch/arm/p2m.c | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/xen/arch/arm/p2m.c b/xen/arch/arm/p2m.c
index f34b6e6f11..20beecc6e8 100644
--- a/xen/arch/arm/p2m.c
+++ b/xen/arch/arm/p2m.c
@@ -2272,8 +2272,9 @@ void __init setup_virt_paging(void)
unsigned int sl0; /* Desired SL0, maximum in comment */
} pa_range_info[] __initconst = {
#ifdef CONFIG_ARM_32
- [0] = { 40, 24/*24*/, 1, 1 },
- [1] = { 0 } /* Invalid */
+ [0] = { 32, 32/*32*/, 0, 1 },
+ [1] = { 40, 24/*24*/, 1, 1 },
+ [2] = { 0 } /* Invalid */
#else
/* T0SZ minimum and SL0 maximum from ARM DDI 0487H.a Table D5-6 */
/* PA size, t0sz(min), root-order, sl0(max) */
--
2.17.1
