Index: src/trusted/validator_arm/gen/arm32_decode_named.cc |
diff --git a/src/trusted/validator_arm/gen/arm32_decode_named.cc b/src/trusted/validator_arm/gen/arm32_decode_named.cc |
index 95358024936f5e509e4eae4e4d9b5f6c801e24f8..5e9e55e4c7c10f4a17598c924305d3c0517895eb 100644 |
--- a/src/trusted/validator_arm/gen/arm32_decode_named.cc |
+++ b/src/trusted/validator_arm/gen/arm32_decode_named.cc |
@@ -1189,7 +1189,7 @@ const NamedClassDecoder& NamedArm32DecoderState::decode_media_instructions( |
if ((inst.Bits() & 0x01F00000) == 0x01F00000 /* op1(24:20)=11111 */ && |
(inst.Bits() & 0x000000E0) == 0x000000E0 /* op2(7:5)=111 */) { |
- return Roadblock_Udf_Rule_A1_instance_; |
+ return PermanentlyUndefined_Udf_Rule_A1_instance_; |
} |
if ((inst.Bits() & 0x01E00000) == 0x01A00000 /* op1(24:20)=1101x */ && |