cpuid_count
cpuid_count(ax, 0, p);
cpuid_count(data->level, data->level_type, data->data);
#define x86_get_cpuid2(l, c, d) cpuid_count(l, c, (uint32_t *)d)
cpuid_count(0xd, 0x1, regs);
cpuid_count(4, 0, regs);
cpuid_count(7, 0, regs);
cpuid_count(0xb, FUNC_B_THREAD_LEVEL, p);
cpuid_count(0xb, ecx_index, p);
cpuid_count(0x4, 0, p);
cpuid_count(0x8000001e, 0, p);
cpuid_count(0x8000001d, i, p);
cpuid_count(7, 0, p);
cpuid_count(7, 0, p);