x86_get_cpuid
#define x86_get_cpuid(l, d) x86_cpuid(l, (uint32_t *)d)
#define x86_get_cpuid(l, d) do_cpuid(l, (uint32_t *)d)