Searched refs:ept_caps (Results 1 – 3 of 3) sorted by relevance
44 u32 ept_caps; member 321 static inline int ept_caps_to_lpage_level(u32 ept_caps) in ept_caps_to_lpage_level() argument 323 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()
467 bool execonly = vmx->nested.msrs.ept_caps & VMX_EPT_EXECUTE_ONLY_BIT; in nested_ept_new_eptp() 468 int ept_lpage_level = ept_caps_to_lpage_level(vmx->nested.msrs.ept_caps); in nested_ept_new_eptp() 1415 u64 vmx_ept_vpid_cap = vmx_control_msr(vmcs_config.nested.ept_caps, in vmx_restore_vmx_ept_vpid_cap() 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() 2828 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_PAGE_WALK_5_BIT))) in nested_vmx_check_eptp() 2832 if (CC(!(vmx->nested.msrs.ept_caps & VMX_EPT_PAGE_WALK_4_BIT))) in nested_vmx_check_eptp() 2845 if (CC(!(vmx->nested.msrs.ept_caps in nested_vmx_check_eptp() 7099 nested_vmx_setup_secondary_ctls(u32 ept_caps,struct vmcs_config * vmcs_conf,struct nested_vmx_msrs * msrs) nested_vmx_setup_secondary_ctls() argument 7240 nested_vmx_setup_ctls_msrs(struct vmcs_config * vmcs_conf,u32 ept_caps) nested_vmx_setup_ctls_msrs() argument [all...]
21 void nested_vmx_setup_ctls_msrs(struct vmcs_config *vmcs_conf, u32 ept_caps);