fixup! fixup! Add Svinval extension.

riscv · Apr 29, 2024 · db931c4 · db931c4
1 parent f06a04e
commit db931c4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/c_emulator/riscv_platform.c b/c_emulator/riscv_platform.c
@@ -37,7 +37,6 @@ bool sys_enable_svinval(unit u)
   return rv_enable_svinval;
 }
 
-
 bool sys_enable_zcb(unit u)
 {
   return rv_enable_zcb;

diff --git a/ocaml_emulator/platform.ml b/ocaml_emulator/platform.ml
@@ -10,7 +10,7 @@ let config_enable_writable_misa        = ref true
 let config_enable_dirty_update         = ref false
 let config_enable_misaligned_access    = ref false
 let config_mtval_has_illegal_inst_bits = ref false
-let config_enable_svinval              = ref false                                       
+let config_enable_svinval              = ref false
 let config_enable_zcb                  = ref false
 let config_enable_writable_fiom        = ref true
 let config_enable_vext                 = ref true
@@ -90,7 +90,7 @@ let enable_vext ()                   = !config_enable_vext
 let enable_dirty_update ()           = !config_enable_dirty_update
 let enable_misaligned_access ()      = !config_enable_misaligned_access
 let mtval_has_illegal_inst_bits ()   = !config_mtval_has_illegal_inst_bits
-let enable_svinval ()                = !config_enable_svinval                                     
+let enable_svinval ()                = !config_enable_svinval
 let enable_zcb ()                    = !config_enable_zcb
 let enable_zfinx ()                  = false
 let enable_writable_fiom ()          = !config_enable_writable_fiom