#include <stdint.h>

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