cpuid_count
#define x86_get_cpuid2(l, c, d) cpuid_count(l, c, (uint32_t *)d)
void cpuid_count(u_int ax, u_int cx, u_int *p);
void cpuid_count(u_int ax, u_int cx, u_int *p);
#define x86_get_cpuid2(l, c, d) cpuid_count(l, c, (uint32_t *)d)