Searched refs:nested_vmx_ept_caps (Results 1 – 1 of 1) sorted by relevance
442 u32 nested_vmx_ept_caps; member2501 vmx->nested.nested_vmx_ept_caps = VMX_EPT_PAGE_WALK_4_BIT | in nested_vmx_setup_ctls_msrs()2504 vmx->nested.nested_vmx_ept_caps &= vmx_capability.ept; in nested_vmx_setup_ctls_msrs()2510 vmx->nested.nested_vmx_ept_caps |= VMX_EPT_EXTENT_GLOBAL_BIT; in nested_vmx_setup_ctls_msrs()2512 vmx->nested.nested_vmx_ept_caps = 0; in nested_vmx_setup_ctls_msrs()2629 *pdata = vmx->nested.nested_vmx_ept_caps; in vmx_get_vmx_msr()7192 !(vmx->nested.nested_vmx_ept_caps & VMX_EPT_INVEPT_BIT)) { in handle_invept()7208 types = (vmx->nested.nested_vmx_ept_caps >> VMX_EPT_EXTENT_SHIFT) & 6; in handle_invept()8618 to_vmx(vcpu)->nested.nested_vmx_ept_caps & in nested_ept_init_mmu_context()