Home
last modified time | relevance | path

Searched refs:_vmx_ept_vpid_cap (Results 1 – 1 of 1) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/x86/hvm/vmx/
A Dvmcs.c186 u64 _vmx_ept_vpid_cap = 0; in vmx_init_vmcs_config() local
271 rdmsrl(MSR_IA32_VMX_EPT_VPID_CAP, _vmx_ept_vpid_cap); in vmx_init_vmcs_config()
274 _vmx_ept_vpid_cap &= ~VMX_EPT_AD_BIT; in vmx_init_vmcs_config()
278 _vmx_ept_vpid_cap &= ~VMX_EPT_AD_BIT; in vmx_init_vmcs_config()
291 if ( !(_vmx_ept_vpid_cap & VMX_EPT_MEMORY_TYPE_WB) || in vmx_init_vmcs_config()
292 !(_vmx_ept_vpid_cap & VMX_EPT_WALK_LENGTH_4_SUPPORTED) || in vmx_init_vmcs_config()
293 !(_vmx_ept_vpid_cap & VMX_EPT_INVEPT_ALL_CONTEXT) ) in vmx_init_vmcs_config()
302 if ( !(_vmx_ept_vpid_cap & VMX_VPID_INVVPID_ALL_CONTEXT) ) in vmx_init_vmcs_config()
306 if ( !(_vmx_ept_vpid_cap & VMX_EPT_AD_BIT) ) in vmx_init_vmcs_config()
400 vmx_ept_vpid_cap = _vmx_ept_vpid_cap; in vmx_init_vmcs_config()
[all …]

Completed in 4 milliseconds