H.J. Lu ba230b6387 <bits/platform/x86.h>: Correct x86_cpu_TBM ... x86_cpu_TBM should be x86_cpu_index_80000001_ecx + 21.		2021-02-22 04:31:51 -08:00
..
x86.h	<bits/platform/x86.h>: Correct x86_cpu_TBM	2021-02-22 04:31:51 -08:00