Searched refs:VMX_EPTP_AD_ENABLE_BIT (Results 1 – 4 of 4) sorted by relevance
70 return nested_ept_get_cr3(vcpu) & VMX_EPTP_AD_ENABLE_BIT; in nested_ept_ad_enabled()
2496 if (address & VMX_EPTP_AD_ENABLE_BIT) { in valid_ept_address()5073 accessed_dirty = !!(address & VMX_EPTP_AD_ENABLE_BIT); in nested_vmx_eptp_switching()
3068 eptp |= VMX_EPTP_AD_ENABLE_BIT; in construct_eptp()
483 #define VMX_EPTP_AD_ENABLE_BIT (1ull << 6) macro