1
2#include <stdio.h>
3
4// in cpuid_s.s
5extern void get_cpuid0 ( unsigned int* buf );
6extern void get_cpuid1 ( unsigned int* buf );
7
8unsigned int buf[4];
9
10int 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