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

x86_cpu_TBM should be x86_cpu_index_80000001_ecx + 21.

diff --git a/sysdeps/x86/bits/platform/x86.h b/sysdeps/x86/bits/platform/x86.h
index c4850fc3cbe4c2ac1a6871e7d94f59d84cc6f90e..fe08d8a1b6db0137285ed1747f77697e671d96c7 100644 (file)
--- a/sysdeps/x86/bits/platform/x86.h
+++ b/sysdeps/x86/bits/platform/x86.h
@@ -245,7 +245,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)