Searched refs:VMX_EPTP_AD_ENABLE_BIT (Results 1 – 4 of 4) sorted by relevance
84 return nested_ept_get_eptp(vcpu) & VMX_EPTP_AD_ENABLE_BIT; in nested_ept_ad_enabled()
2673 if (new_eptp & VMX_EPTP_AD_ENABLE_BIT) { in nested_vmx_check_eptp()5459 accessed_dirty = !!(new_eptp & VMX_EPTP_AD_ENABLE_BIT); in nested_vmx_eptp_switching()
3057 eptp |= VMX_EPTP_AD_ENABLE_BIT; in construct_eptp()
488 #define VMX_EPTP_AD_ENABLE_BIT (1ull << 6) macro