https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100444
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Edward Cree from comment #12) > Stdlib must be looking at cpuid > directly rather than using anything the kernel can mediate?) Correct.