*
* Example:
* #include <ccan/cpuid/cpuid.h>
+ * #include <stdio.h>
*
- * int main()
+ * int main(void)
* {
- * int highest;
+ * uint32_t highest;
* cpuid(CPU_HIGHEST_EXTENDED_FUNCTION_SUPPORTED, &highest);
* printf ("Highest extended function supported: %d\n", highest);
*
CPU_HIGHEST_EXTENDED_FUNCTION_SUPPORTED = 0x80000000,
CPU_EXTENDED_PROC_INFO_FEATURE_BITS = 0x80000001,
- CPU_PROC_BRAND_STRING = 0x80000002,
+ CPU_PROC_BRAND_STRING = 0x80000002,
CPU_L1_CACHE_AND_TLB_IDS = 0x80000005,
CPU_EXTENDED_L2_CACHE_FEATURES = 0x80000006,
CPU_ADV_POWER_MGT_INFO = 0x80000007,