From e36958bb370f32908d0d05b44302bafada7f2f97 Mon Sep 17 00:00:00 2001 From: HAMZA-AFZAL404 Date: Sun, 28 Jul 2024 11:33:00 +0500 Subject: [PATCH] Updated the Zjpm --- model/riscv_sys_control.sail | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail index 3f85a0a82..48c8a5fd3 100644 --- a/model/riscv_sys_control.sail +++ b/model/riscv_sys_control.sail @@ -58,8 +58,8 @@ function is_CSR_defined (csr : csreg) -> bool = 0xB82 => sizeof(xlen) == 32, // minstreth /* machine protection */ - 0x747 => p == Machine, // mseccfg - 0x757 => p == Machine & (sizeof(xlen) == 32), // mseccfgh + 0x747 => true, // mseccfg + 0x757 => sizeof(xlen) == 32, // mseccfgh /* disabled trigger/debug module */ 0x7a0 => true,