- { PREFIX_TABLE (PREFIX_EVEX_0F72_REG_0) },
- { PREFIX_TABLE (PREFIX_EVEX_0F72_REG_1) },
- { PREFIX_TABLE (PREFIX_EVEX_0F72_REG_2) },
+ { "vpror%DQ", { Vex, EXx, Ib }, PREFIX_DATA },
+ { "vprol%DQ", { Vex, EXx, Ib }, PREFIX_DATA },
+ { VEX_W_TABLE (EVEX_W_0F72_R_2) },