#include <stdio.h>

// in cpuid_s.s
extern void get_cpuid0 ( unsigned int* buf );
extern void get_cpuid1 ( unsigned int* buf );

unsigned int buf[4];

int main ( void )
{
   get_cpuid0(&buf[0]);
   printf("cpuid words (0): 0x%x 0x%x 0x%x 0x%x\n", 
          buf[0], buf[1], buf[2], buf[3] );

   get_cpuid1(&buf[0]);
   printf("cpuid words (1): 0x%x 0x%x 0x%x 0x%x\n", 
          buf[0], buf[1], buf[2], buf[3] );

   return 0;
}