diff options
| author | Robert Norton | 2016-05-20 12:42:42 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-20 12:42:42 +0100 |
| commit | e0ac6aff1a0d02c03ba9e948d3ce8fb953c068b2 (patch) | |
| tree | bdf0f4e5c8888723556a506e69cf8b3db04d1237 | |
| parent | d173e01d07d831b504a0b9efe43be1baa408039a (diff) | |
Add missing CP0BadVaddr in run_with_elfs.
| -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)); |