cpuid: fix example compilation
[ccan] / ccan / cpuid / _info
index 569dc21cd2885061fc7ef46369068db4889c73e1..79a98c0a236dfc2ad98010a01afb4bcb9726f74c 100644 (file)
@@ -13,8 +13,8 @@
  * int main(void)
  * {
  *     uint32_t highest;
- *     cpuid(CPU_HIGHEST_EXTENDED_FUNCTION_SUPPORTED, &highest);
- *     printf ("Highest extended function supported: %d\n", highest);
+ *     cpuid(CPUID_HIGHEST_EXTENDED_FUNCTION_SUPPORTED, &highest);
+ *     printf("Highest extended function supported: %d\n", highest);
  *
  *      return 0;
  * }