sys/arch/amd64/amd64/vmm_machdep.c

2030

vcpu->vc_vmx_pinbased_ctls = rdmsr(IA32_VMX_PINBASED_CTLS);

sys/arch/amd64/amd64/vmm_machdep.c

2063

ctrl = IA32_VMX_PINBASED_CTLS;

sys/arch/amd64/amd64/vmm_machdep.c

3093

case IA32_VMX_PINBASED_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

3113

case IA32_VMX_PINBASED_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

3238

case IA32_VMX_PINBASED_CTLS:

sys/arch/amd64/amd64/vmm_machdep.c

7615

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PINBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7710

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PINBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7970

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PINBASED_CTLS,