Remove old vmem Sail workaround

jordancarlin · Oct 5, 2024 · ca4d5e0 · ca4d5e0
1 parent c7596ee
commit ca4d5e0
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/model/riscv_vmem_common.sail b/model/riscv_vmem_common.sail
@@ -101,14 +101,3 @@ let sv57_params : SV_Params = struct {
        pte_PPN_j_size_bits = 9
 }
 */
-
-// This 'undefined_SV_Params()' function is not used anywhere, but is
-// currently (2023-12) needed to work around an issue where Sail tries
-// to figure out how it could do
-//     let x : SV_Params = undefined
-// even though the code never does this.  This has been fixed in Sail.
-// The fix will become available in a new Sail release, at which point
-// this function can be deleted (TODO).
-// PRIVATE
-val      undefined_SV_Params : unit -> SV_Params
-function undefined_SV_Params() = sv32_params