cpuid-0.2.1.3: cbits/cpuid.c
#ifdef __PIC__
#include "cpuid-pic.c"
#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];
}