diff options
Diffstat (limited to 'model/riscv_pmp_control.sail')
-rw-r--r-- | model/riscv_pmp_control.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_pmp_control.sail b/model/riscv_pmp_control.sail index 4242968..1e4cb77 100644 --- a/model/riscv_pmp_control.sail +++ b/model/riscv_pmp_control.sail @@ -104,7 +104,7 @@ function accessToFault(acc : AccessType(ext_access_type)) -> ExceptionType = Execute() => E_Fetch_Access_Fault(), } -function pmpCheck forall 'n, 'n > 0. (addr: xlenbits, width: atom('n), acc: AccessType(ext_access_type), priv: Privilege) +function pmpCheck forall 'n, 'n > 0. (addr: xlenbits, width: int('n), acc: AccessType(ext_access_type), priv: Privilege) -> option(ExceptionType) = { let width : xlenbits = to_bits(sizeof(xlen), width); |