Lines Matching refs:ept_caps
360 to_vmx(vcpu)->nested.msrs.ept_caps &
1361 u64 vmx_ept_vpid_cap = vmx_control_msr(vmcs_config.nested.ept_caps,
1368 vmx->nested.msrs.ept_caps = data;
1534 *pdata = msrs->ept_caps |
2670 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPTP_UC_BIT)))
2674 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPTP_WB_BIT)))
2684 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_PAGE_WALK_5_BIT)))
2688 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_PAGE_WALK_4_BIT)))
2701 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_AD_BIT)))
5419 !(vmx->nested.msrs.ept_caps & VMX_EPT_INVEPT_BIT)) {
5430 types = (vmx->nested.msrs.ept_caps >> VMX_EPT_EXTENT_SHIFT) & 6;
6424 void nested_vmx_setup_ctls_msrs(struct nested_vmx_msrs *msrs, u32 ept_caps)
6563 msrs->ept_caps =
6570 msrs->ept_caps &= ept_caps;
6571 msrs->ept_caps |= VMX_EPT_EXTENT_GLOBAL_BIT |
6577 msrs->ept_caps |= VMX_EPT_AD_BIT;