cpuid: fix example compilation

[ccan] / ccan / cpuid / _info

diff --git a/ccan/cpuid/_info b/ccan/cpuid/_info
index 1603b4bec40ad9076d4ee6fe0ce52499e6c48609..79a98c0a236dfc2ad98010a01afb4bcb9726f74c 100644 (file)
--- a/ccan/cpuid/_info
+++ b/ccan/cpuid/_info
@@ -8,12 +8,13 @@
  *
  * 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;
  * }