Searched refs:ept_caps (Results 1 – 3 of 3) sorted by relevance
44 u32 ept_caps; member321 static inline int ept_caps_to_lpage_level(u32 ept_caps) in ept_caps_to_lpage_level() argument323 if (ept_caps & VMX_EPT_1GB_PAGE_BIT) in ept_caps_to_lpage_level()325 if (ept_caps & VMX_EPT_2MB_PAGE_BIT) in ept_caps_to_lpage_level()
1422 vmx->nested.msrs.ept_caps = data; in vmx_restore_vmx_ept_vpid_cap()1588 *pdata = msrs->ept_caps | in vmx_get_vmx_msr()2814 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPTP_UC_BIT))) in nested_vmx_check_eptp()2818 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPTP_WB_BIT))) in nested_vmx_check_eptp()2845 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_AD_BIT))) in nested_vmx_check_eptp()5906 !(vmx->nested.msrs.ept_caps & VMX_EPT_INVEPT_BIT)) { in handle_invept()7099 static void nested_vmx_setup_secondary_ctls(u32 ept_caps, in nested_vmx_setup_secondary_ctls() argument7132 msrs->ept_caps = in nested_vmx_setup_secondary_ctls()7139 msrs->ept_caps &= ept_caps; in nested_vmx_setup_secondary_ctls()7140 msrs->ept_caps |= VMX_EPT_EXTENT_GLOBAL_BIT | in nested_vmx_setup_secondary_ctls()[all …]
21 void nested_vmx_setup_ctls_msrs(struct vmcs_config *vmcs_conf, u32 ept_caps);
Completed in 17 milliseconds