+ CASE_CPUFEAT(X86_AVX, "x86:avx",
+ xmm_registers_available_p() &&
+ cpuid_features_p(0, CPUID1C_AVX));
+ CASE_CPUFEAT(X86_SSSE3, "x86:ssse3",
+ xmm_registers_available_p() &&
+ cpuid_features_p(0, CPUID1C_SSSE3));
+ CASE_CPUFEAT(X86_PCLMUL, "x86:pclmul",
+ xmm_registers_available_p() &&
+ cpuid_features_p(0, CPUID1C_PCLMUL));