ept_caps           39 arch/x86/kvm/vmx/capabilities.h 	u32 ept_caps;
ept_caps          352 arch/x86/kvm/vmx/nested.c 			to_vmx(vcpu)->nested.msrs.ept_caps &
ept_caps         1173 arch/x86/kvm/vmx/nested.c 	vmx_ept_vpid_cap = vmx_control_msr(vmx->nested.msrs.ept_caps,
ept_caps         1180 arch/x86/kvm/vmx/nested.c 	vmx->nested.msrs.ept_caps = data;
ept_caps         1345 arch/x86/kvm/vmx/nested.c 		*pdata = msrs->ept_caps |
ept_caps         2470 arch/x86/kvm/vmx/nested.c 		if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPTP_UC_BIT)))
ept_caps         2474 arch/x86/kvm/vmx/nested.c 		if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPTP_WB_BIT)))
ept_caps         2491 arch/x86/kvm/vmx/nested.c 		if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_AD_BIT)))
ept_caps         4914 arch/x86/kvm/vmx/nested.c 	    !(vmx->nested.msrs.ept_caps & VMX_EPT_INVEPT_BIT)) {
ept_caps         4925 arch/x86/kvm/vmx/nested.c 	types = (vmx->nested.msrs.ept_caps >> VMX_EPT_EXTENT_SHIFT) & 6;
ept_caps         5793 arch/x86/kvm/vmx/nested.c void nested_vmx_setup_ctls_msrs(struct nested_vmx_msrs *msrs, u32 ept_caps)
ept_caps         5929 arch/x86/kvm/vmx/nested.c 		msrs->ept_caps = VMX_EPT_PAGE_WALK_4_BIT |
ept_caps         5932 arch/x86/kvm/vmx/nested.c 			msrs->ept_caps |=
ept_caps         5934 arch/x86/kvm/vmx/nested.c 		msrs->ept_caps &= ept_caps;
ept_caps         5935 arch/x86/kvm/vmx/nested.c 		msrs->ept_caps |= VMX_EPT_EXTENT_GLOBAL_BIT |
ept_caps         5941 arch/x86/kvm/vmx/nested.c 			msrs->ept_caps |= VMX_EPT_AD_BIT;
ept_caps           20 arch/x86/kvm/vmx/nested.h void nested_vmx_setup_ctls_msrs(struct nested_vmx_msrs *msrs, u32 ept_caps);