pub const XED_IFORM_SHA256RNDS2_XMMi32_XMMi32_SHA: xed_iform_enum_t = 2808;