https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100758
--- Comment #4 from Erich Eckner <gcc at eckner dot net> --- Created attachment 50871 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50871&action=edit cpuid probing Does the attached program yield, what you need? (Sry, I'm quite unfamiliar with asm in gcc) It gives: 00000001 746e6543 736c7561 48727561 000006d0 00000800 00004181 a7c9bbff and 0000000a 746e6543 736c7561 48727561 000006fa 00010800 008863a9 afc9fbff on the two machines, respectively.