| Index: src/trusted/validator_arm/gen/arm32_decode.cc | 
| diff --git a/src/trusted/validator_arm/gen/arm32_decode.cc b/src/trusted/validator_arm/gen/arm32_decode.cc | 
| index 19243c18abf38cb25e780e6d48fc09c78deef961..2c394ad218208d52a862542aae42db03a71930dc 100644 | 
| --- a/src/trusted/validator_arm/gen/arm32_decode.cc | 
| +++ b/src/trusted/validator_arm/gen/arm32_decode.cc | 
| @@ -51,9 +51,9 @@ Arm32DecoderState::Arm32DecoderState() : DecoderState() | 
| , MoveVfpRegisterOp_instance_() | 
| , MoveVfpRegisterOpWithTypeSel_instance_() | 
| , NotImplemented_instance_() | 
| +  , PermanentlyUndefined_instance_() | 
| , PreloadRegisterPairOp_instance_() | 
| , PreloadRegisterPairOpWAndRnNotPc_instance_() | 
| -  , Roadblock_instance_() | 
| , Store2RegisterImm12OpRnNotRtOnWriteback_instance_() | 
| , StoreBasedImmedMemory_instance_() | 
| , StoreBasedImmedMemoryDouble_instance_() | 
| @@ -813,7 +813,7 @@ const ClassDecoder& Arm32DecoderState::decode_media_instructions( | 
|  | 
| if ((inst.Bits() & 0x01F00000) == 0x01F00000 /* op1(24:20)=11111 */ && | 
| (inst.Bits() & 0x000000E0) == 0x000000E0 /* op2(7:5)=111 */) { | 
| -    return Roadblock_instance_; | 
| +    return PermanentlyUndefined_instance_; | 
| } | 
|  | 
| if ((inst.Bits() & 0x01E00000) == 0x01C00000 /* op1(24:20)=1110x */ && | 
|  |