+#include "config.h"
+#include <stdio.h>
+#include <string.h>
+
#include "cpuid.h"
/**
*
* Example:
* #include <ccan/cpuid/cpuid.h>
+ * #include <stdio.h>
*
- * int main()
+ * int main(void)
* {
- * int highest;
- * cpuid(CPU_HIGHEST_EXTENDED_FUNCTION_SUPPORTED, &highest);
- * printf ("Highest extended function supported: %d\n", highest);
+ * uint32_t highest;
+ * cpuid(CPUID_HIGHEST_EXTENDED_FUNCTION_SUPPORTED, &highest);
+ * printf("Highest extended function supported: %d\n", highest);
*
* return 0;
* }