blob: 333ff1127d3324ed7922e0f4b1ef05f65d79062e [file] [log] [blame]
sewardjde4a1d02002-03-22 01:27:54 +00001
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}