Searched refs:ept_caps (Results 1 – 1 of 1) sorted by relevance
794 u32 ept_caps; member3613 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()[all …]
