Index: src/trusted/validator_arm/gen/arm32_decode.h |
diff --git a/src/trusted/validator_arm/gen/arm32_decode.h b/src/trusted/validator_arm/gen/arm32_decode.h |
index c9b71edfd1069973924e6bec59d440dfff977bad..19ca96b8ec87c2d1fef855dce26290b46de8ebb2 100644 |
--- a/src/trusted/validator_arm/gen/arm32_decode.h |
+++ b/src/trusted/validator_arm/gen/arm32_decode.h |
@@ -186,9 +186,9 @@ class Arm32DecoderState : DecoderState { |
const MoveVfpRegisterOp MoveVfpRegisterOp_instance_; |
const MoveVfpRegisterOpWithTypeSel MoveVfpRegisterOpWithTypeSel_instance_; |
const NotImplemented NotImplemented_instance_; |
+ const PermanentlyUndefined PermanentlyUndefined_instance_; |
const PreloadRegisterPairOp PreloadRegisterPairOp_instance_; |
const PreloadRegisterPairOpWAndRnNotPc PreloadRegisterPairOpWAndRnNotPc_instance_; |
- const Roadblock Roadblock_instance_; |
const Store2RegisterImm12OpRnNotRtOnWriteback Store2RegisterImm12OpRnNotRtOnWriteback_instance_; |
const StoreBasedImmedMemory StoreBasedImmedMemory_instance_; |
const StoreBasedImmedMemoryDouble StoreBasedImmedMemoryDouble_instance_; |