3  */

     4  */

     4 

     5 

     5 #include <cpuid.h>

     6 #include <cpuid.h>

     6 

     7 

     7 char *get_cpu_brand (int function)

     8 char *get_cpu_brand (int function)