sys/arch/amd64/amd64/vmm_machdep.c

2028

vcpu->vc_vmx_entry_ctls = rdmsr(IA32_VMX_ENTRY_CTLS);

sys/arch/amd64/amd64/vmm_machdep.c

2243

ctrl = IA32_VMX_ENTRY_CTLS;

sys/arch/amd64/amd64/vmm_machdep.c

3102

case IA32_VMX_ENTRY_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

3122

case IA32_VMX_ENTRY_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

3301

case IA32_VMX_ENTRY_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

7799

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7808

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7817

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7838

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS,