[PATCH v3 02/23] lib: sbi_hart_pmp: disable unconfigured PMP entries

[Vladimir Kondratiev]

Disable PMP entries not configured in domain. These entries
may contain values configured by the boot loader; disabling it
to be certain PMP configuration is exactly as configured by the
openSBI

Signed-off-by: Vladimir Kondratiev <vladimir.kondratiev at mobileye.com>
---
 lib/sbi/sbi_hart_pmp.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/lib/sbi/sbi_hart_pmp.c b/lib/sbi/sbi_hart_pmp.c
index be459129c5272a2c70e0cf1c930a00fac98f386e..28c06b38aa46612c945bf97e04c91dbd5c4b32b2 100644
--- a/lib/sbi/sbi_hart_pmp.c
+++ b/lib/sbi/sbi_hart_pmp.c
@@ -204,6 +204,9 @@ static int sbi_hart_smepmp_configure(struct sbi_scratch *scratch)
 		sbi_hart_smepmp_set(scratch, dom, reg, pmp_idx++, pmp_flags,
 				    pmp_log2gran, pmp_addr_max);
 	}
+	/* disable remaining PMP entries */
+	for(; pmp_idx < pmp_count; pmp_idx++)
+		pmp_disable(pmp_idx);
 
 	/*
 	 * All entries are programmed.
@@ -286,6 +289,9 @@ static int sbi_hart_oldpmp_configure(struct sbi_scratch *scratch)
 				   reg->order);
 		}
 	}
+	/* disable remaining PMP entries */
+	for(; pmp_idx < pmp_count; pmp_idx++)
+		pmp_disable(pmp_idx);
 
 	sbi_hart_pmp_fence();
 	return 0;

-- 
2.43.0