| 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_;
|
|
|