pub const XED_IFORMFL_VSTMXCSR_FIRST: xed_iformfl_enum_t = 7856;