/* #include "cpuid.h" */

void
cpuid(int in, int * aa, int * bb, int * cc, int * dd)
{
  int a, b, c, d;
  asm("cpuid": "=a" (a), "=b" (b), "=c" (c), "=d" (d) : "a" (in));
  *aa = a;
  *bb = b;
  *cc = c;
  *dd = d;
}