Index: src/trusted/validator_mips/model.h |
diff --git a/src/trusted/validator_mips/model.h b/src/trusted/validator_mips/model.h |
index 2d0ab249b37d32155e2ea7b638d6fff31e98f324..75c8b6e8463f068d412e51b4c07c3fc61a442ca1 100644 |
--- a/src/trusted/validator_mips/model.h |
+++ b/src/trusted/validator_mips/model.h |
@@ -153,6 +153,9 @@ uint32_t const kInstrSize = 4; |
uint32_t const kInstrAlign = 0xFFFFFFFC; |
uint32_t const kBundleAlign = 0xFFFFFFF0; |
+// Opcode for nop instruction. |
+uint32_t const kNop = 0x0; |
+ |
} // namespace |
// Definitions for our inlined functions. |