<bits/platform/x86.h>: Correct x86_cpu_TBM

x86_cpu_TBM should be x86_cpu_index_80000001_ecx + 21.

(cherry picked from commit ba230b6387fc0ccba60d2ff6759f7e326ba7bf3e)

diff --git a/sysdeps/x86/bits/platform/x86.h b/sysdeps/x86/bits/platform/x86.h
index 2cf898ff7c42ee4e535302fd3791ce04343d671f..1b4d6dab69f52a0fe71ce271eff6f2d03e5d0389 100644 (file)
--- a/sysdeps/x86/bits/platform/x86.h
+++ b/sysdeps/x86/bits/platform/x86.h
@@ -244,7 +244,7 @@ enum
   x86_cpu_XOP                  = x86_cpu_index_80000001_ecx + 11,
   x86_cpu_LWP                  = x86_cpu_index_80000001_ecx + 15,
   x86_cpu_FMA4                 = x86_cpu_index_80000001_ecx + 16,
-  x86_cpu_TBM                  = x86_cpu_index_80000001_ecx + 20,
+  x86_cpu_TBM                  = x86_cpu_index_80000001_ecx + 21,
 
   x86_cpu_index_80000001_edx
     = (CPUID_INDEX_80000001 * 8 * 4 * sizeof (unsigned int)