- * 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);