1 2 #include <stdio.h> 3 4 // in cpuid_s.s 5 extern void get_cpuid0 ( unsigned int* buf ); 6 extern void get_cpuid1 ( unsigned int* buf ); 7 8 unsigned int buf[4]; 9 10 int main ( void ) 11 { 12 get_cpuid0(&buf[0]); 13 printf("cpuid words (0): 0x%x 0x%x 0x%x 0x%x\n", 14 buf[0], buf[1], buf[2], buf[3] ); 15 16 get_cpuid1(&buf[0]); 17 printf("cpuid words (1): 0x%x 0x%x 0x%x 0x%x\n", 18 buf[0], buf[1], buf[2], buf[3] ); 19 20 return 0; 21 } 22
