<bits/platform/x86.h>: Rename to x86_cpu_INDEX_7_ECX_15
authorH.J. Lu <hjl.tools@gmail.com>
Wed, 5 Apr 2023 16:21:26 +0000 (09:21 -0700)
committerH.J. Lu <hjl.tools@gmail.com>
Wed, 5 Apr 2023 21:46:10 +0000 (14:46 -0700)
commit2d8c590a5e9bfe1344b638c897c7d731365cfaca
treef7d7a64318a349655e951decda4e49fb7e4f0229
parentc4468cd3995b4236ea886901109b194641132b08
<bits/platform/x86.h>: Rename to x86_cpu_INDEX_7_ECX_15

Rename x86_cpu_INDEX_7_ECX_1 to x86_cpu_INDEX_7_ECX_15 for the unused bit
15 in ECX from CPUID with EAX == 0x7 and ECX == 0.
Reviewed-by: Noah Goldstein <goldstein.w.n@gmail.com>
sysdeps/x86/bits/platform/x86.h