5 extern void get_cpuid0 ( unsigned int* buf
);
6 extern void get_cpuid1 ( unsigned int* buf
);
13 printf("cpuid words (0): 0x%x 0x%x 0x%x 0x%x\n",
14 buf
[0], buf
[1], buf
[2], buf
[3] );
17 printf("cpuid words (1): 0x%x 0x%x 0x%x 0x%x\n",
18 buf
[0], buf
[1], buf
[2], buf
[3] );