diff options
Diffstat (limited to 'model/riscv_addr_checks.sail')
| -rw-r--r-- | model/riscv_addr_checks.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_addr_checks.sail b/model/riscv_addr_checks.sail index 06e20f9..318d2a2 100644 --- a/model/riscv_addr_checks.sail +++ b/model/riscv_addr_checks.sail @@ -46,7 +46,7 @@ type ext_data_addr_error = unit /* Default data addr is just base register + immediate offset (may be zero). Extensions might override and add additional checks. */ -function ext_data_get_addr(base : regidx, offset : xlenbits, acc : AccessType, width : word_width) +function ext_data_get_addr(base : regidx, offset : xlenbits, acc : AccessType(ext_access_type), width : word_width) -> Ext_DataAddr_Check(ext_data_addr_error) = let addr = X(base) + offset in Ext_DataAddr_OK(addr) |