Lines Matching refs:ept_caps
414 bool execonly = vmx->nested.msrs.ept_caps & VMX_EPT_EXECUTE_ONLY_BIT;
415 int ept_lpage_level = ept_caps_to_lpage_level(vmx->nested.msrs.ept_caps);
1324 u64 vmx_ept_vpid_cap = vmx_control_msr(vmcs_config.nested.ept_caps,
1331 vmx->nested.msrs.ept_caps = data;
1497 *pdata = msrs->ept_caps |
2694 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPTP_UC_BIT)))
2698 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPTP_WB_BIT)))
2708 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_PAGE_WALK_5_BIT)))
2712 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_PAGE_WALK_4_BIT)))
2725 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_AD_BIT)))
5683 !(vmx->nested.msrs.ept_caps & VMX_EPT_INVEPT_BIT)) {
5695 types = (vmx->nested.msrs.ept_caps >> VMX_EPT_EXTENT_SHIFT) & 6;
6860 static void nested_vmx_setup_secondary_ctls(u32 ept_caps,
6893 msrs->ept_caps =
6900 msrs->ept_caps &= ept_caps;
6901 msrs->ept_caps |= VMX_EPT_EXTENT_GLOBAL_BIT |
6907 msrs->ept_caps |= VMX_EPT_AD_BIT;
7003 void nested_vmx_setup_ctls_msrs(struct vmcs_config *vmcs_conf, u32 ept_caps)
7029 nested_vmx_setup_secondary_ctls(ept_caps, vmcs_conf, msrs);