sys/arch/amd64/amd64/identcpu.c

987

msr = rdmsr(IA32_VMX_PROCBASED_CTLS);

sys/arch/amd64/amd64/vmm_machdep.c

2031

vcpu->vc_vmx_procbased_ctls = rdmsr(IA32_VMX_PROCBASED_CTLS);

sys/arch/amd64/amd64/vmm_machdep.c

2044

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

2113

ctrl = IA32_VMX_PROCBASED_CTLS;

sys/arch/amd64/amd64/vmm_machdep.c

2146

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

2155

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

2262

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

3096

case IA32_VMX_PROCBASED_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

3116

case IA32_VMX_PROCBASED_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

3255

case IA32_VMX_PROCBASED_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

7478

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7605

has_sec = vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7668

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7694

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7891

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,