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 <jani.paalijarvi@unikie.com>
tiiuae · May 23, 2024 · f41fc88 · f41fc88
1 parent 6f68887
commit f41fc88
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;
           }