From a6f3056e6236d055ca8def878a3bb235c9f6a320 Mon Sep 17 00:00:00 2001
From: Ved Shanbhogue <ved@rivosinc.com>
Date: Mon, 30 Oct 2023 17:19:10 -0500
Subject: [PATCH] Add Zabha extension

---
 model/riscv_sys_regs.sail | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/model/riscv_sys_regs.sail b/model/riscv_sys_regs.sail
index 6c66492b4..70012ac4f 100644
--- a/model/riscv_sys_regs.sail
+++ b/model/riscv_sys_regs.sail
@@ -164,6 +164,9 @@ function haveZmmul()  -> bool = true
 /* Zicond extension support */
 function haveZicond() -> bool = true
 
+/* Zabha extension support */
+function haveZabha() -> bool = true
+
 bitfield Mstatush : bits(32) = {
   MBE  : 5,
   SBE  : 4