pub const XED_CPUID_GROUP_SSE42: xed_cpuid_group_enum_t = 236;