VMX_EPTP_AD_ENABLE_BIT
if (new_eptp & VMX_EPTP_AD_ENABLE_BIT) {
return nested_ept_get_eptp(vcpu) & VMX_EPTP_AD_ENABLE_BIT;
eptp |= VMX_EPTP_AD_ENABLE_BIT;