Fix PMP checks for partially-matching accesses (#270)

PMP checks should unconditionally fail if the PMP matches part of, but
not all of, an access.  We got this right, but went too far: we checked
whether _any_ PMP matches in this manner.  In fact, only the first PMP
that maches any of the bytes should be checked in this manner.

1 files changed, 1 insertions, 1 deletions

diff --git a/riscv/mmu.h b/riscv/mmu.h
index 7617367..5fa93ff 100644
--- a/riscv/mmu.h
+++ b/riscv/mmu.h
@@ -354,7 +354,7 @@ private:
   }
 
   reg_t pmp_homogeneous(reg_t addr, reg_t len);
-  reg_t pmp_ok(reg_t addr, access_type type, reg_t mode);
+  reg_t pmp_ok(reg_t addr, reg_t len, access_type type, reg_t mode);
 
   bool check_triggers_fetch;
   bool check_triggers_load;