http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55712
--- Comment #1 from Leif Ekblad <leif at rdos dot net> 2012-12-23 22:38:31 UTC --- Created attachment 29038 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29038 Save rbx and use another file for ebx parameter to cpuid