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 
main(void)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