Utilize extension() instead of haveZkr()

ThinkOpenly · Apr 14, 2024 · 35020f7 · 35020f7
1 parent 70a5f34
commit 35020f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail
@@ -163,7 +163,7 @@ function is_CSR_defined (csr : csreg, p : Privilege) -> bool =
     0xC82 => extension("U") & (sizeof(xlen) == 32),     // instreth
 
     /* user mode: Zkr */
-    0x015 => haveZkr(),
+    0x015 => extension("Zkr"),
 
     /* check extensions */
     _     => ext_is_CSR_defined(csr, p)