riscv_pmp.c: Check that size is power of two for NAPOT

The size must be power-of-two according to the the PMP spec. Signed-off-by: Jani Paalijarvi <[email protected]>
tiiuae · May 23, 2024 · 9b7b095 · 9b7b095
1 parent 6f68887
commit 9b7b095
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/arch/risc-v/src/common/riscv_pmp.c b/arch/risc-v/src/common/riscv_pmp.c
@@ -134,9 +134,9 @@ static bool pmp_check_region_attrs(uintptr_t base, uintptr_t size,
 
     case PMPCFG_A_NAPOT:
       {
-        /* For NAPOT, both base and size must be properly aligned */
+        /* For NAPOT, Naturally aligned power-of-two region, >= 8 bytes */
 
-        if ((base & 0x07) != 0 || size < 8)
+        if ((base & 0x07) != 0 || size < 8 || (size & (size - 1) != 0))
           {
             return false;
           }