pub const XED_IFORM_VMWRITE_GPR32_GPR32: xed_iform_enum_t = 5278;