From ca4d5e0a3964cc91e9fcdc1d64f0daf357eb701c Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Fri, 4 Oct 2024 17:22:14 -0700 Subject: [PATCH] Remove old vmem Sail workaround --- model/riscv_vmem_common.sail | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/model/riscv_vmem_common.sail b/model/riscv_vmem_common.sail index d17cb0245..a6b717b65 100644 --- 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