diff options
| author | Jerry Zhao <jerryz123@berkeley.edu> | 2023-01-03 22:25:54 -0800 |
|---|---|---|
| committer | Jerry Zhao <jerryz123@berkeley.edu> | 2023-01-04 11:02:13 -0800 |
| commit | c4e7c887280190b728c0cc5ee25d2984fe8b6058 (patch) | |
| tree | 3aa4f01d26cf2a7fbcdd8fde5d8cd8b568393954 /spike_main | |
| parent | 044fedabee8354b0c4cbe6fcf9769f1f85d61d48 (diff) | |
| download | spike-c4e7c887280190b728c0cc5ee25d2984fe8b6058.zip spike-c4e7c887280190b728c0cc5ee25d2984fe8b6058.tar.gz spike-c4e7c887280190b728c0cc5ee25d2984fe8b6058.tar.bz2 | |
Add cfg_t field to enable PTE dirtying
Diffstat (limited to 'spike_main')
| -rw-r--r-- | spike_main/spike-log-parser.cc | 1 | ||||
| -rw-r--r-- | spike_main/spike.cc | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/spike_main/spike-log-parser.cc b/spike_main/spike-log-parser.cc index 41642a6..dfdb117 100644 --- a/spike_main/spike-log-parser.cc +++ b/spike_main/spike-log-parser.cc @@ -35,6 +35,7 @@ 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 f517ad3..a9da535 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -330,6 +330,7 @@ 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>(), |