Searched refs:x86_get_cpuid2 (Results 1 – 3 of 3) sorted by relevance
| /dragonfly/sys/dev/virtual/nvmm/x86/ |
| H A D | nvmm_x86.h | 744 #define x86_get_cpuid2(l, c, d) x86_cpuid2(l, c, (uint32_t *)d) macro
747 #define x86_get_cpuid2(l, c, d) cpuid_count(l, c, (uint32_t *)d) macro
|
| H A D | nvmm_x86_svm.c | 833 x86_get_cpuid2(eax, ecx, &descs); in svm_inkernel_exec_cpuid()
|
| H A D | nvmm_x86_vmx.c | 1245 x86_get_cpuid2(eax, ecx, &descs); in vmx_inkernel_exec_cpuid()
|