https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79155
Bug ID: 79155 Summary: Typo in cpuid.h comment Product: gcc Version: 7.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: myriachan at gmail dot com Target Milestone: --- x86's gcc/config/i386/cpuid.h contains the following comment: /* Return highest supported input value for cpuid instruction. ext can be either 0x0 or 0x8000000 to return highest supported value for basic or extended cpuid information. Function returns 0 if cpuid is not supported or whatever cpuid returns in eax register. If sig pointer is non-null, then first four bytes of the signature (as found in ebx register) are returned in location pointed by sig. */ The second hex constant should be 0x80000000, with one more zero. The implementation of __get_cpuid below uses 0x80000000 correctly.