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