sys/arch/amd64/amd64/vmm_machdep.c

2052

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

2154

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

2156

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

2163

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

2165

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

2270

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

2272

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

7486

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7613

has_sec = vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7617

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7623

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PINBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7630

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7649

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7655

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7676

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7692

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_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7710

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_PINBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7726

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7733

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7740

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7756

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7766

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7773

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7780

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7787

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7794

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7807

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7809

vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7816

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7818

vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7825

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7833

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7846

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7848

vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7855

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7862

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7869

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_EXIT_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7899

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7908

if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS,

sys/arch/amd64/amd64/vmm_machdep.c

7978

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);