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

2146

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_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

2155

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_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

2262

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_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

58

vcpu_vmx_check_cap(x, IA32_VMX_##y ##_CTLS, \

sys/arch/amd64/amd64/vmm_machdep.c

60

vcpu_vmx_check_cap(x, IA32_VMX_##y ##_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

7609

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_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

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

7668

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_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

7694

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_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

7710

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PINBASED_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

7799

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_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

7808

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_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

7817

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_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

7838

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_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,

sys/arch/amd64/amd64/vmm_machdep.c

7891

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7900

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7970

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PINBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

94

int vcpu_vmx_check_cap(struct vcpu *, uint32_t, uint32_t, int);