| Index: src/trusted/validator_arm/armv7.table | 
| diff --git a/src/trusted/validator_arm/armv7.table b/src/trusted/validator_arm/armv7.table | 
| index de58d5cc33ba1f13ec2c3814abc9697282fec794..5c67f816c83a5a8375973918869ccd2458beeb32 100644 | 
| --- a/src/trusted/validator_arm/armv7.table | 
| +++ b/src/trusted/validator_arm/armv7.table | 
| @@ -1015,7 +1015,7 @@ class VectorBinary2RegisterScalar_I16_32L : VectorBinary2RegisterScalar | 
| Ubfx_Rule_236_A1_P466 | 
| cccc0111111mmmmmddddlllll101nnnn | 
| RegsNotPc (v6T2) | 
| -| 11111      111      -         -     = Roadblock  # Permanently Undefined | 
| +| 11111      111      -         -     = PermanentlyUndefined | 
| # Note: the UDF mnemonic only applies | 
| #   when cond == 0b1110, but all | 
| #   encodings are permanently undefined. | 
|  |