/*
gcc shows its symbols when running:
echo | gcc -E -dM -
*/
#ifdef __PIC__
#ifdef __x86_64__
#include "cpuid-pic-x86_64.c"
#else
#include "cpuid-pic-i386.c"
#endif
#else
#include "cpuid-pdc.c"
#endif

void
cpuid(uint32_t op, uint32_t * a, uint32_t * b, uint32_t * c, uint32_t * d)
{
  uint32_t reg[4];
  cpuid_array(op, reg);
  *a = reg[0];
  *b = reg[1];
  *c = reg[2];
  *d = reg[3];
}