sys/arch/amd64/amd64/vmm_machdep.c

2029

vcpu->vc_vmx_exit_ctls = rdmsr(IA32_VMX_EXIT_CTLS);

sys/arch/amd64/amd64/vmm_machdep.c

2199

ctrl = IA32_VMX_EXIT_CTLS;

sys/arch/amd64/amd64/vmm_machdep.c

3105

case IA32_VMX_EXIT_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

3125

case IA32_VMX_EXIT_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

3282

case IA32_VMX_EXIT_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

7801

vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7810

vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7840

vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7847

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7854

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7861

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,