Index: src/trusted/validator_mips/testdata/test_read_only_regs.err |
diff --git a/src/trusted/validator_mips/testdata/test_read_only_regs.err b/src/trusted/validator_mips/testdata/test_read_only_regs.err |
new file mode 100644 |
index 0000000000000000000000000000000000000000..307f027e5d19bd9e1743c01d0379f94630aba91a |
--- /dev/null |
+++ b/src/trusted/validator_mips/testdata/test_read_only_regs.err |
@@ -0,0 +1,21 @@ |
+ncval: 00020000 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020004 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020008 6 kProblemReadOnlyRegister 00000000 |
+ncval: 0002000C 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020010 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020014 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020018 6 kProblemReadOnlyRegister 00000000 |
+ncval: 0002001C 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020020 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020024 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020028 6 kProblemReadOnlyRegister 00000000 |
+ncval: 0002002C 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020030 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020034 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020038 6 kProblemReadOnlyRegister 00000000 |
+ncval: 0002003C 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020040 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020044 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020048 6 kProblemReadOnlyRegister 00000000 |
+ncval: 0002004C 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020058 6 kProblemReadOnlyRegister 00000000 |