Symbol: x86_get_cpuid2
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
89
#define x86_get_cpuid2(l, c, d) x86_cpuid2(l, c, (uint32_t *)d)
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
92
#define x86_get_cpuid2(l, c, d) cpuid_count(l, c, (uint32_t *)d)