sys/arch/amd64/amd64/cpu.c

907

if (ci->ci_vmm_flags & CI_VMM_VMX) {

sys/arch/amd64/amd64/identcpu.c

1000

if (ci->ci_vmm_flags & CI_VMM_VMX) {

sys/arch/amd64/amd64/identcpu.c

971

ci->ci_vmm_flags |= CI_VMM_VMX;

sys/arch/amd64/amd64/identcpu.c

974

ci->ci_vmm_flags |= CI_VMM_VMX;

sys/arch/amd64/amd64/identcpu.c

984

if (ci->ci_vmm_flags & CI_VMM_VMX) {

sys/arch/amd64/amd64/vmm_machdep.c

764

if ((ci->ci_vmm_flags & CI_VMM_VMX) == 0 &&

sys/arch/amd64/amd64/vmm_machdep.c

780

if (ci->ci_vmm_flags & CI_VMM_VMX) {

sys/arch/amd64/amd64/vmm_machdep.c

844

if (ci->ci_vmm_flags & CI_VMM_VMX) {

sys/arch/amd64/amd64/vmm_machdep.c

865

if ((ci->ci_flags & CPUF_VMM) && (ci->ci_vmm_flags & CI_VMM_VMX)) {