pub const XED_ISA_SET_VIA_PADLOCK_RNG: xed_isa_set_enum_t = 212;