Symbol: IA32_VMX_PROCBASED2_CTLS
sys/arch/amd64/amd64/identcpu.c
989
msr = rdmsr(IA32_VMX_PROCBASED2_CTLS);
sys/arch/amd64/amd64/vmm_machdep.c
2046
vcpu->vc_vmx_procbased2_ctls = rdmsr(IA32_VMX_PROCBASED2_CTLS);
sys/arch/amd64/amd64/vmm_machdep.c
2148
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
2157
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
2166
ctrl = IA32_VMX_PROCBASED2_CTLS;
sys/arch/amd64/amd64/vmm_machdep.c
2264
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
3099
case IA32_VMX_PROCBASED2_CTLS:
sys/arch/amd64/amd64/vmm_machdep.c
3119
case IA32_VMX_PROCBASED2_CTLS:
sys/arch/amd64/amd64/vmm_machdep.c
3279
case IA32_VMX_PROCBASED2_CTLS:
sys/arch/amd64/amd64/vmm_machdep.c
7609
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7622
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7641
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7647
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7684
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7702
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7718
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7725
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7732
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7748
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7758
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7765
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7772
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7779
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7786
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7825
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,
sys/arch/amd64/amd64/vmm_machdep.c
7900
if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,