diff options
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/run_with_elf.ml | 1 | ||||
| -rw-r--r-- | src/lem_interp/run_with_elf_cheri.ml | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/lem_interp/run_with_elf.ml b/src/lem_interp/run_with_elf.ml index 313babe4..84d6f34f 100644 --- a/src/lem_interp/run_with_elf.ml +++ b/src/lem_interp/run_with_elf.ml @@ -500,6 +500,7 @@ let mips_register_data_all = [ ("CP0Compare", (D_decreasing, 32, 31)); ("CP0HWREna", (D_decreasing, 32, 31)); ("CP0UserLocal", (D_decreasing, 64, 63)); + ("CP0BadVAddr", (D_decreasing, 64, 63)); ("TLBProbe" ,(D_decreasing, 1, 0)); ("TLBIndex" ,(D_decreasing, 3, 2)); ("TLBRandom" ,(D_decreasing, 3, 2)); diff --git a/src/lem_interp/run_with_elf_cheri.ml b/src/lem_interp/run_with_elf_cheri.ml index dd7a5093..d2fff413 100644 --- a/src/lem_interp/run_with_elf_cheri.ml +++ b/src/lem_interp/run_with_elf_cheri.ml @@ -500,6 +500,7 @@ let mips_register_data_all = [ ("CP0Compare", (D_decreasing, 32, 31)); ("CP0HWREna", (D_decreasing, 32, 31)); ("CP0UserLocal", (D_decreasing, 64, 63)); + ("CP0BadVAddr", (D_decreasing, 64, 63)); ("TLBProbe" ,(D_decreasing, 1, 0)); ("TLBIndex" ,(D_decreasing, 3, 2)); ("TLBRandom" ,(D_decreasing, 3, 2)); |