Address Prashanth's feedback part 2

nadime15 · nadime15 · commit 27d01ab6de83 · 2025-12-18T05:11:01.000-05:00
diff --git a/model/extensions/Stateen/stateen_regs.sail b/model/extensions/Stateen/stateen_regs.sail
@@ -42,7 +42,7 @@ bitfield Mstateen3 : bits(64) = {
   SE3 : 63,
 }
 
-
+// TODO: Update when Zcmt is implemented
 function is_mstateen_SE0_readonly_zero() -> bool = {
   not(currentlyEnabled(Ext_H)) & not(currentlyEnabled(Ext_Zfinx))
 }

Original file line number	Diff line number	Diff line change
`@@ -42,7 +42,7 @@ bitfield Mstateen3 : bits(64) = {`
`42`	`42`	`SE3 : 63,`
`43`	`43`	`}`
`44`	`44`
`45`		`-`
	`45`	`+// TODO: Update when Zcmt is implemented`
`46`	`46`	`function is_mstateen_SE0_readonly_zero() -> bool = {`
`47`	`47`	`not(currentlyEnabled(Ext_H)) & not(currentlyEnabled(Ext_Zfinx))`
`48`	`48`	`}`