Lines Matching refs:ept_caps
794 u32 ept_caps; member
3613 msrs->ept_caps = VMX_EPT_PAGE_WALK_4_BIT | in nested_vmx_setup_ctls_msrs()
3616 msrs->ept_caps |= in nested_vmx_setup_ctls_msrs()
3618 msrs->ept_caps &= vmx_capability.ept; in nested_vmx_setup_ctls_msrs()
3619 msrs->ept_caps |= VMX_EPT_EXTENT_GLOBAL_BIT | in nested_vmx_setup_ctls_msrs()
3625 msrs->ept_caps |= VMX_EPT_AD_BIT; in nested_vmx_setup_ctls_msrs()
3858 vmx_ept_vpid_cap = vmx_control_msr(vmx->nested.msrs.ept_caps, in vmx_restore_vmx_ept_vpid_cap()
3865 vmx->nested.msrs.ept_caps = data; in vmx_restore_vmx_ept_vpid_cap()
4025 *pdata = msrs->ept_caps | in vmx_get_vmx_msr()
8961 !(vmx->nested.msrs.ept_caps & VMX_EPT_INVEPT_BIT)) { in handle_invept()
8972 types = (vmx->nested.msrs.ept_caps >> VMX_EPT_EXTENT_SHIFT) & 6; in handle_invept()
9236 if (!(vmx->nested.msrs.ept_caps & VMX_EPTP_UC_BIT)) in valid_ept_address()
9240 if (!(vmx->nested.msrs.ept_caps & VMX_EPTP_WB_BIT)) in valid_ept_address()
9257 if (!(vmx->nested.msrs.ept_caps & VMX_EPT_AD_BIT)) in valid_ept_address()
11344 to_vmx(vcpu)->nested.msrs.ept_caps & in nested_ept_init_mmu_context()