diff options
-rw-r--r-- | ci-tests/testlib.c | 1 | ||||
-rw-r--r-- | riscv/cfg.h | 3 | ||||
-rw-r--r-- | riscv/mmu.h | 2 | ||||
-rw-r--r-- | spike_main/spike-log-parser.cc | 1 | ||||
-rw-r--r-- | spike_main/spike.cc | 1 |
5 files changed, 0 insertions, 8 deletions
diff --git a/ci-tests/testlib.c b/ci-tests/testlib.c index f20e749..9343b61 100644 --- a/ci-tests/testlib.c +++ b/ci-tests/testlib.c @@ -23,7 +23,6 @@ int main() "vlen:128,elen:64", false, endianness_little, - false, 16, mem_cfg, hartids, diff --git a/riscv/cfg.h b/riscv/cfg.h index a40bbf5..58c792c 100644 --- a/riscv/cfg.h +++ b/riscv/cfg.h @@ -67,7 +67,6 @@ public: const char *default_varch, const bool default_misaligned, const endianness_t default_endianness, - const bool default_dirty_enabled, const reg_t default_pmpregions, const std::vector<mem_cfg_t> &default_mem_layout, const std::vector<int> default_hartids, @@ -80,7 +79,6 @@ public: varch(default_varch), misaligned(default_misaligned), endianness(default_endianness), - dirty_enabled(default_dirty_enabled), pmpregions(default_pmpregions), mem_layout(default_mem_layout), hartids(default_hartids), @@ -96,7 +94,6 @@ public: cfg_arg_t<const char *> varch; bool misaligned; endianness_t endianness; - bool dirty_enabled; reg_t pmpregions; cfg_arg_t<std::vector<mem_cfg_t>> mem_layout; std::optional<reg_t> start_pc; diff --git a/riscv/mmu.h b/riscv/mmu.h index d82f576..8f39047 100644 --- a/riscv/mmu.h +++ b/riscv/mmu.h @@ -274,8 +274,6 @@ public: void register_memtracer(memtracer_t*); - int is_dirty_enabled() { return proc && proc->cfg->dirty_enabled; } - int is_misaligned_enabled() { return proc && proc->get_cfg().misaligned; diff --git a/spike_main/spike-log-parser.cc b/spike_main/spike-log-parser.cc index 0020751..cec9c31 100644 --- a/spike_main/spike-log-parser.cc +++ b/spike_main/spike-log-parser.cc @@ -35,7 +35,6 @@ int main(int UNUSED argc, char** argv) /*default_varch=*/DEFAULT_VARCH, /*default_misaligned=*/false, /*default_endianness*/endianness_little, - /*default_dirty_enabled=*/false, /*default_pmpregions=*/16, /*default_mem_layout=*/std::vector<mem_cfg_t>(), /*default_hartids=*/std::vector<int>(), diff --git a/spike_main/spike.cc b/spike_main/spike.cc index a23ec6b..9032db4 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -351,7 +351,6 @@ int main(int argc, char** argv) /*default_varch=*/DEFAULT_VARCH, /*default_misaligned=*/false, /*default_endianness*/endianness_little, - /*default_dirty_enabled*/false, /*default_pmpregions=*/16, /*default_mem_layout=*/parse_mem_layout("2048"), /*default_hartids=*/std::vector<int>(), |